欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
模板: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
分享您的观点