欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Question2Answer
来自开放百科 - 灰狐
Question2Answer 是一个开源(GPL)的问答系统,使用 PHP 编写。
技巧
修改注册信息:
vim qa-lang/zh/qa-lang-users.php 'register_suspended' => '请大家使用微博和QQ账号登录,因为垃圾注水,注册功能暂时关闭,对此,请大家谅解。‘, // 新用户注册已暂停,请稍后再试。',
用户
链接
分享您的观点