欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
沙盒
来自开放百科 - 灰狐
编辑, 奇怪
取消匿名编辑...不明白
只有登录才能编辑, 欢迎注册账号.
目录 |
RSS
自http://www.oschina.net/news/rss加载RSS失败或RSS源被墙 自http://solidot.org/index.rss加载RSS失败或RSS源被墙
新闻
|
CategoryTree<categorytree mode=pages>games</categorytree> 用户框
{{#ifeq: | true |
dontcat
}}{{#ifeq: | no |
dontcat
}}{{#switch: ¬ |
yes | ¬ = | #default = dontcat
}}{{#switch: |
no =
模板:Basepage subpage |
only =
模板:Basepage subpage }} |
{{#switch: {{#ifeq: | false |
yes | 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 |
}} }} }} }}}} 巴别模板
Feed{{#widget:Feed |
feedurl=http://www.oschina.net/news/rss | chan=y | num=5 | desc=50 | date=n | targ=n
}} 一级标题
commons:Image:Geneva_mechanism_6spoke_animation.gif 已有7,156篇条目
维基共享资源相关的维基共享资源:
Table
二级标题
3级标题ssssssssssssssssssss 4级标题ssssssssssssssssssss <discussion>characters_max=300</discussion> |
分享您的观点