欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Hiki
来自开放百科 - 灰狐
Hiki is a powerful and fast wiki clone written by Ruby. GNU General Public License version 2
功能
- Simple formatting rules based on the original Wiki
- Customizable appearance by CSS themes
- Plugins
- Mobile conformative
- Access controls
- HikiFarm
- InterWiki support
- Categorization
分享您的观点
