欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
沙盒
来自开放百科 - 灰狐
(版本间的差异)
(→模版练习) |
|||
第8行: | 第8行: | ||
==模版练习== | ==模版练习== | ||
− | + | <div class="noprint {{#ifeq:{{{left|}}}|yes|tleft|tright}} portal" style="border:solid #aaa 1px;margin:{{#if:{{{margin|}}} | |
− | | | + | |{{{margin|}}} |
− | | | + | |{{#ifeq:{{{left|}}}|yes |
− | | | + | |0.5em 0.5em 0.5em 0 |
− | |} | + | |0.5em 0 0.5em 0.5em |
+ | }} | ||
+ | }};"> | ||
==巴别模板== | ==巴别模板== |
2010年9月23日 (四) 15:24的版本
编辑, 奇怪
取消匿名编辑...不明白
只有登录才能编辑, 欢迎注册账号.
目录 |
CategoryTree
<categorytree mode=pages>games</categorytree>
模版练习
分享您的观点