欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Instiki
来自开放百科 - 灰狐
Instiki: Textile-based Wiki with its own webserver, which makes for no installation and instant running by typing "instiki.rb [PORT]". Uses WEBrick for the webserver, Madelein for persistence, and RedCloth for Textile.
分享您的观点
