欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
开放大学
来自开放百科 - 灰狐
开放大学
目录 |
新闻
- 购买openuniversity.io域名,I/O是输入/输出,也指学习(I)/教育(O)。(2017.9.14)
简介
一座没有围墙的自由大学,倡导终身学习、终身教育。
以灰狐基金会的方式推动和发展开放大学。
功能
文档
图集
链接
- Open University The world's leading distance-learning provider
分享您的观点