欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
A 3D-modeller. It is an interactive OpenGL application written in Erlang by a member of the OTP team, Bjorn Gustavsson.
http://www.wings3d.com/