欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户讨论:ICasino
来自开放百科 - 灰狐
（版本间的差异）
(dsfsd) |
|||
| 第4行： | 第4行： | ||
== Headline text == | == Headline text == | ||
fsadfsdafdfasdfsdf | fsadfsdafdfasdfsdf | ||
| + | |||
| + | dsfasf | ||
2007年12月9日 (日) 19:04的版本
dsfsd
Headline text
fsadfsdafdfasdfsdf
dsfasf
分享您的观点
