欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Open healthcare
来自开放百科 - 灰狐
Open Health 开放医疗，一个全球共享的医疗保健生态系统。
项目
链接
- Open Health Tools 是一个开源社区，其愿景是实现一个无处不在的生态系统，Health 和 IT 专家可以在其中协作构建可互操作的系统，允许患者及其护理人员随时随地访问重要、可靠的医疗信息。
<discussion>characters_max=300</discussion>
分享您的观点
