欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
用户贡献
- 2010年8月11日 (三) 00:17 (差异 | 历史) . . (+62) . . HTML5
- 2010年8月11日 (三) 00:13 (差异 | 历史) . . (+67) . . Open Wiki (→Idea)
- 2010年8月11日 (三) 00:08 (差异 | 历史) . . (+42) . . 新 Cyask (以内容' ==Links== *[http://cyask.com/ 赛问网]'创建新页面)
- 2010年8月11日 (三) 00:03 (差异 | 历史) . . (+725) . . 新 Tipask (以内容'Tipask 是一款开源、SEO友好、扩展性强、性能良好的问答系统! Tipask 独特的MVC构架,使得二次开发非常容易,多种接口方便和已有...'创建新页面)
- 2010年8月10日 (二) 23:58 (差异 | 历史) . . (+99) . . Open Wiki (→Idea)
分享您的观点