欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
BaasBox/developer
来自开放百科 - 灰狐
BaasBox 开发者
目录 |
Eclipse
git clone https://github.com/baasbox/baasbox cd baasbox play [BaasBox] $ eclipse with-source=true
在 Eclipse 从 File/Import/General/Existing project 导入刚才的项目
更多细节：Setting up your preferred IDE
IDEA
图集
链接
分享您的观点
