欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Xith3D 一个高性能的Java 3D引擎,可用于3D游戏、数据可视化、三维场景原型等。