欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenSchool
来自开放百科 - 灰狐
OpenSchool: 一个开放的学习环境
OpenSchool基于EduCommons构建
此外, Java用户可选择OLAT构建, PHP用户可选择Moodle构建
Links
- http://school.huihoo.org
- 《公正:该如何做是好?》(Justice: What's the Right Thing to Do? )【youtube上最受欢迎讲座】【哈佛大学最受新生喜爱公共课】
分享您的观点