欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户贡献
这位用户现时正在被封锁中。 最近的封锁日志项目在下面提供以便参考:
- 2012年11月21日 (三) 06:09 (差异 | 历史) . . (+37) . . 新 用户讨论:JenniferLMorris (JenniferLMorris移动用户讨论:JenniferLMorris页面至用户讨论:Henderson:We will educate you on the various methods and let you make the decision based on your desired outcome. Whatever the choice, the results are dramatic and life-ch...) (最后更改)
分享您的观点