欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Forum
来自开放百科 - 灰狐
（版本间的差异）
(→开源项目) |
(→开源项目) |
||
| 第4行： | 第4行： | ||
*[[phpBB]] : 具有友好的用户界面，使用了当今网络上流行的php语言工作,适合于大多数的网站用来搭建论坛系统。 | *[[phpBB]] : 具有友好的用户界面，使用了当今网络上流行的php语言工作,适合于大多数的网站用来搭建论坛系统。 | ||
*[[MyBB]] : A powerful, efficient and free forum package developed in PHP and MySQL. | *[[MyBB]] : A powerful, efficient and free forum package developed in PHP and MySQL. | ||
| − | *[[SMF]] | + | *[[SMF]] : 简练，效率，强大，免费,SMF-Simple Machines Forum 就是这些词汇的集合体。 |
*[[PunBB]] | *[[PunBB]] | ||
*[[UseBB]] | *[[UseBB]] | ||
2006年12月27日 (三) 22:19的版本
Forum-论坛-BBS
开源项目
分享您的观点
