[ prog / sol / mona ]
frontpage - thread list - new thread - preferences - ?
You can prove the Archimedean Property
Post any proof.
VIP:
bbs.scm + MIT Scheme + SICP + Satori Mode