欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Instiki
来自开放百科 - 灰狐
|
您可以在Wikipedia上了解到此条目的英文信息 Instiki Thanks, Wikipedia. |
A wiki clone pretty and easy to set up. Runs on Rails and focuses on portability and stability. Supports file uploads, PDF export, RSS, multiple users and password protection. Some use Instiki as a CMS because of it’s ability to export static pages.
分享您的观点
