欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
首页
来自开放百科 - 灰狐
您好,欢迎来到 灰狐维客-你的知识库,让我们一同参与共同打造属于自己的知识库,一起交流与分享 :) </td> |
Huihoo首页 | Huihoo论坛 | Huihoo博客 | Huihoo网址大全 | Huihoo相册 </td> </tr> </table> - 本站内容可以自由添加编辑,但为了维护良好的秩序,您必需先注册成为ChinaUnix会员,然后申请加入Wiki。 - 您必需[登录]后才可能添加和编辑内容。如果您第一次使用Wiki,请先阅读"[帮助]"。如果您想测试编辑,请点击“沙盒测试”。 - 如果您对本Wiki有任何建议和问题,欢迎在此“发表建议”,也欢迎到Wiki论坛交流区发表意见。
[操作系统] [应用专题] [数据库] [软件开发] [网络技术] [硬件技术]
|
分享您的观点