[ prog / sol / mona ]
frontpage - thread list - new thread - preferences - ?
I hear things about formal verification and mathematical proofs of programs. Is all that applicable to web development? Is there a way to prove that my web application is correct?
VIP:
bbs.scm + MIT Scheme + SICP + Satori Mode