欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Bodington
来自开放百科 - 灰狐
Bodington is a free open source Virtual Learning Environment/Learning Management System in use at Universities and Colleges worldwide. The Bodington project exists to provide an open source environment to support learning, teaching and research. It is particularly suitable for complex, multi-disciplinary and large organisations and for inter institutional collaboration. It delivers controlled access using open standards.
User
Links
分享您的观点