欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
NodeBB
来自开放百科 - 灰狐
NodeBB 是一个基于 Node.js 的论坛和社区软件。
目录 |
指南
确保事先已安装好 Node.js 或开始安装。
Debian
apt-get install redis-server imagemagick git clone git://github.com/NodeBB/NodeBB.git nodebb cd nodebb npm install ./nodebb setup
插件
图集
链接
分享您的观点
