欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
模板:Userbox
来自开放百科 - 灰狐
| id | info |
{{#ifeq: | true
| dontcat
}}{{#ifeq: | no
| dontcat
}}{{#switch: ¬
| yes
| ¬ =
| #default = dontcat
}}{{#switch:
| no =
模板:Basepage subpage
| only =
模板:Basepage subpage
}}
| |
{{#switch:
{{#ifeq: | false
|
| {{#ifeq: | yes
|
| {{#ifeq: | yes
|
| 模板:If pagename
}}
}}
}}
| hide =
| #default =
{{#ifeq: h0#384!5nea+w9 | {{#if:|[[Category:{{{usercategory}}}]]}}{{#if:|[[Category:{{{usercategory2}}}]]}}{{#if:|[[Category:{{{usercategory3}}}]]}}
|
模板:Namespace detect
|
{{#iferror: {{#expr: 1 + 模板:Namespace detect }}
| 模板:Namespace detect | }}
}} }}
}}}} 模板:Protecteden:Template:Userbox eu:Txantiloi:Taulatxo oinarria
分享您的观点