欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp

保护日志

跳转到：导航, 搜索

下面是页面保护更改的列表。请见受保护页面列表查看目前正在进行的页面保护的列表。

2012年10月29日 (一) 07:29 Allen (讨论 | 贡献)保护“OpenBook”‎ ‎[edit=sysop] (无限期) ‎[move=sysop] (无限期) (历史)

来自“http://wiki.huihoo.com/wiki/%E7%89%B9%E6%AE%8A:%E6%97%A5%E5%BF%97”

分享您的观点

个人工具

登录

工具箱

特殊页面