欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
开放大学
来自开放百科 - 灰狐
（版本间的差异）
(以“开放大学 ==简介== 一座没有围墙的自由大学。 ==功能== ==文档== *[http://docs.huihoo.com/edx/open-edx-conference/2017/Open-edX-Out-of-Context-T...”为内容创建页面) |
2017年8月11日 (五) 13:11的版本
开放大学
目录 |
简介
一座没有围墙的自由大学。
功能
文档
图集
链接
分享您的观点
