欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
开放的数据资源也可以以服务的方式提供给用户.
OpenData 项目将做这方面的尝试。