欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Willow
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
| − | + | <table align="left" border="0"><tr><td>http://wikipedia.sourceforge.net/Mediawiki.png</td></tr> | |
| + | {{MW}} | ||
2006年7月13日 (四) 19:56的版本
 |
分享您的观点
