欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
MinGW Developer Studio
来自开放百科 - 灰狐
The MinGW Developer Studio is a cross-platform C/ C++ IDE for the GNU C/C++ Compilers. It features a multiple document interface, syntax highlighting, code folding, help integration, project management, debug and release project configuration support (like Visual Studio 6.0), debugging support, code calltip, makefile support, smart indent, and more.
分享您的观点
