欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Wings 3D
来自开放百科 - 灰狐
A 3D-modeller. It is an interactive OpenGL application written in Erlang by a member of the OTP team, Bjorn Gustavsson.
分享您的观点
