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

帮助讨论:目录

来自开放百科 - 灰狐

跳转到：导航, 搜索

Hey, that's porweful. Thanks for the news.

来自“http://wiki.huihoo.com/wiki/?title=%E5%B8%AE%E5%8A%A9%E8%AE%A8%E8%AE%BA:%E7%9B%AE%E5%BD%95&oldid=122450”

分享您的观点

个人工具

登录

工具箱