欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
QDevelop
来自开放百科 - 灰狐
QDevelop is a development environment entirely dedicated to Qt. QDevelop requires Qt4, MinGW under Windows, gdb for programs debugging and ctags for code completion. QDevelop is available in English, French, German, Dutch and Russian.
Links
分享您的观点
