欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Wings 3D
来自开放百科 - 灰狐
（版本间的差异）
2008年1月31日 (四) 14:00的版本
A 3D-modeller. It is an interactive OpenGL application written in Erlang by a member of the OTP team, Bjorn Gustavsson.
分享您的观点
