[ prog / sol / mona ]
frontpage - thread list - new thread - preferences - ?
I can assure you the person suggesting that you read borderline Bourbaki style literature hasn't bothered to read what is essentially a very large Coq source file.
VIP:
bbs.scm + MIT Scheme + SICP + Satori Mode