欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
MinGW
来自开放百科 - 灰狐
MinGW - Minimalist GNU for Windows
你可下载 http://switch.dl.sourceforge.net/sourceforge/mingw/MinGW-5.1.3.exe
运行它,它会指导你下载并安装相关组件,完全安装大约需要 146.6M的空间。
分享您的观点