欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenResearch: 开放研究院
企业可将自己的研究项目开放出来, 让更多的人参与进来, 协作、分享.
相关: OpenHardware