欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
EdX 是由合作创建方 Harvard 和 MIT 共同创立的非盈利组织，它的使命是将最好的高等教育带给世界各地不同年龄段拥有上网机会的学生。EdX的免费在线 MOOC 提供交互式的学习体验，课程包括计算机科学，公共健康和人工智能等。
