欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Genesis3D:是Windows平台的开源实时3D引擎,被用于雷神之锤等游戏中,可惜,现在又闭源了。