欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
jspwiki是一个不错的wiki引擎，纯jsp/servlet写的。JSPWiki不使用现成的数据库管理软件，所有的文件以文本文件的形式存放。它利用类似CVS的机制保证了文件版本的完整性。支持中文，支持版本比较、权限管理等功能！
