欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
沙盒
编辑, 奇怪
取消匿名编辑...不明白
只有登录才能编辑, 欢迎注册账号.
目录 |
通知系统
<centralnotice-shared-message-name>
{{#widget:SlideShare|doc=semantic-media-wiki-semantic-forms-1205504882436734-4|width=425|height=348}}
HTML5 Media
{{#widget:Html5media |url=http://pornel.net/Performance.ogg |width=640 |height=360 }}
签名
Allen Allen 2010年9月27日 (一) 00:28 (CST) 2010年9月27日 (一) 00:28 (CST)
脚注
科学家说,太阳是挺大的<ref>张三(2005年):《太阳》,第23页,香港:学术出版社。</ref>。
不过,月亮就没有那么大了<ref>李四:《月亮的大小》,载《科学选辑》第46期,第78页,北京:科学研究社。</ref>。
外部图片
引用外部图片
资料来源
<references />
全景图
表格
表头1 | 表头2 | 表头3 |
---|---|---|
第1行第1列的单元格 | 第1行第2列的单元格 | 第1行第3列的单元格 |
第2行第1列的单元格 | 第2行第2列的单元格 | 第2行第3列的单元格 |
函数
{{#expr: + 7}}
折叠模板
折叠内容
RSS
自http://www.oschina.net/news/rss加载RSS失败或RSS源被墙 自http://solidot.org/index.rss加载RSS失败或RSS源被墙 自http://www.dreamdu.com/blog/feed/加载RSS失败或RSS源被墙 自http://xmpp.org/feed/加载RSS失败或RSS源被墙
新闻
|
CategoryTree
<categorytree>Database</categorytree>
用户框
|
该用户会使用ASP语言。 |
---|
巴别模板
关于我
{{#if:zh| | ||
---|---|---|
{{#if:en-2| | ||
模板:User en-2
{{#if:| | ||
{{User {{{3}}}}}
{{#if:| | ||
{{User {{{4}}}}}
{{#if:| | ||
{{User {{{5}}}}}
{{#if: }}}}}}| | ||
這個使用者不能讀寫任何語言。請幫忙。}} | ||
察看用戶語言 |
Feed
{{#widget:Feed |feedurl=http://www.oschina.net/news/rss |chan=y |num=5 |desc=50 |date=n |targ=n }}
一级标题
您可以在Wikipedia上了解到此条目的英文信息 沙盒 Thanks, Wikipedia. |
commons:Image:Geneva_mechanism_6spoke_animation.gif
维基共享资源
Table
HTTP | CRUD |
---|---|
POST | Create, Update, Delete |
GET | Read |
PUT | Create, Update |
DELETE | Delete |
二级标题
- ssssssssssssssssssss
- ddddddddddddddddddd
- fffffffffffffffffff
- ddddddddddddddddddd
3级标题
ssssssssssssssssssss
4级标题
ssssssssssssssssssss
<discussion>characters_max=300</discussion>