欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
FUDforum 是一个模板化的支持PHP和MySQL/PostgreSQL的讨论板。它的功能包括：用户组群管理、多语言支持、私聊信息系统等等。它是快速、可升级的讨论板，支持海量用户。
官方网站 http://fudforum.org
