[ prog / sol / mona ]

sol

frontpage - thread list - new thread - preferences - ?

Five Stages of Accepting Constructive Mathematics - Andrej Bauer

2 2022-04-18 10:34: cool shit
3: VIP:

do not edit these