[ prog / sol / mona ]
frontpage - thread list - new thread - preferences - ?
>>16 No, but I did read The Little Prover and played with Coq.
VIP:
bbs.scm + MIT Scheme + SICP + Satori Mode