欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
模板:!
来自开放百科 - 灰狐
（版本间的差异）
(以内容'|<noinclude> {{Protected|template}} Category:辅助模板 bn:Template:! de:Vorlage:! en:Template:! nl:Sjabloon:! ru:Шаблон:! [[vi:Tiêu bản:...'创建新页面) |
|||
| 第2行： | 第2行： | ||
{{Protected|template}} | {{Protected|template}} | ||
[[Category:辅助模板]] | [[Category:辅助模板]] | ||
| − | |||
| − | |||
[[en:Template:!]] | [[en:Template:!]] | ||
| − | + | [[zh:Template:!]] | |
| − | + | ||
| − | + | ||
| − | [[zh | + | |
</noinclude> | </noinclude> | ||
2010年9月23日 (四) 12:18的最后版本
分享您的观点
