欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
MIT Mobile Web
来自开放百科 - 灰狐
The MIT Mobile Web Open Source Project is designed to allow developers to collaborate on developing Mobile Web Sites primarily for higher education institutions to provide mobile access to information to students, faculty, staff, and visitors.
Links
分享您的观点
