欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
用户贡献
这位用户现时正在被封锁中。 最近的封锁日志项目在下面提供以便参考:
- 2012年11月21日 (三) 08:33 (差异 | 历史) . . (+47) . . 新 用户讨论:MelodyMelany (MelodyMelany移动用户讨论:MelodyMelany页面至用户讨论:Los angeles gutters:No matter what kind of house you live in, big or small, fancy or average, when it gets damaged by water, you are in trouble. Preparing your home and taking p...) (最后更改)
分享您的观点