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

文件:Huihoo-code-20140804-02.png

来自开放百科 - 灰狐

跳转到：导航, 搜索

文件
文件历史
文件用途

文件:Huihoo-code-20140804-02.png

本预览的大小：743×600像素。

完全分辨率‎ （1,281×1,034像素，文件大小：127 KB，MIME类型：image/png）

文件历史

查看某一时刻的文件，请单击相应的日期/时间。

	日期/时间	缩略图	大小	用户	评论
当前	2014年8月4日 (一) 13:23		1,281 × 1,034 (127 KB)	Allen (讨论 \| 贡献)

用外部应用程序编辑本文件（更多信息请见安装说明）

文件用途

以下的1个页面链接到本文件：

GitLab

来自“http://wiki.huihoo.com/wiki/?title=%E6%96%87%E4%BB%B6:Huihoo-code-20140804-02.png&oldid=127854”

分享您的观点

个人工具

登录

工具箱