欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
[[Image:reddit.png|right]] | [[Image:reddit.png|right]] | ||
Reddit is open: [[Reddit Code]] | Reddit is open: [[Reddit Code]] | ||
| − | |||
| − | |||
==Links== | ==Links== | ||
*http://reddit.com/ | *http://reddit.com/ | ||
*http://code.reddit.com/ | *http://code.reddit.com/ | ||
2010年7月10日 (六) 00:16的版本
Reddit is open: Reddit Code
Links
分享您的观点
