欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
FreeFly
来自开放百科 - 灰狐
FreeFly: 自由飞翔项目
虽然我们不能像鸟儿自由飞行或驾驶飞机翱翔蓝天, 但我们可以通过飞行模拟器等方式让自己体验一下飞行的感受.
我们将中文化、打包、分发主流的开源飞行模拟器项目: FlightGear
资金充足时, 我们也将搭建飞行模拟舱.
当然最牛的就是能动手制作自己的飞机 :)
Links
分享您的观点
