欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Sana
来自开放百科 - 灰狐
（版本间的差异）
(以“sana：开源(BSD)远程医疗平台。 ==图集== <gallery> image:sana-platform.png </gallery> ==链接== *[http://sana.mit.edu/ Sana官网] *[https://github.com/...”为内容创建页面) |
2015年4月13日 (一) 09:08的版本
sana：开源(BSD)远程医疗平台。
图集
链接
分享您的观点
