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