欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
用户贡献
这位用户现时正在被封锁中。 最近的封锁日志项目在下面提供以便参考:
- 2016年2月8日 (一) 16:48 (差异 | 历史) . . (+3,518) . . 新 All-You-Need-to-have-To-Know-About-Acid-Reflux-To-Get-Rid-Of-It-a (All You Need to have To Know About Acid Reflux To Get Rid Of It a) (最后更改)
分享您的观点