欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
用户贡献
- 2012年7月9日 (一) 12:42 (差异 | 历史) . . (+3,297) . . 新 用户:GiordanaKeefe2804 (以内容'Picking Youngsters Online games In relation to children games, mothers and fathers consider it must be intricate so that it is enjoyable. This is not the truth. In the eve...'创建新页面) (最后更改)
分享您的观点