[ prog / sol / mona ]
frontpage - thread list - new thread - preferences - ?
In what discipline are vector fields studied in a proof theoretical way? Topology?
VIP:
bbs.scm + MIT Scheme + SICP + Satori Mode