欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
JsForum
来自开放百科 - 灰狐
JsForum is a full J2EE forum (bulletin board), written in JSP and Servlets designed using the MVC (Model View Control) framework Struts.
Features
- Categories
- Forums
- Topics
- Messages/reply
- Members
- User groups, Administrators, Modernators, Users, Guests
- Profile, every user has his own profile with signature, member title, avatar
分享您的观点
