欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户:Walker
来自开放百科 - 灰狐
在这里创建、完善个人Wiki主页,可参考已有同学的,自己可随意修改。
目录 |
简介
兴趣
项目
图集
链接
分享您的观点
欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
在这里创建、完善个人Wiki主页,可参考已有同学的,自己可随意修改。
目录 |