欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Open Education
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 Open Education Thanks, Wikipedia. |
开放教育
链接
- Khan学院开放教育视频,超过2000多个,包含高中和大学水平的课程,涵盖科学、数学、历史、金融等学科,所有视频都可免费下载,采用创作共用许可证发行。
<discussion>characters_max=300</discussion>
分享您的观点