欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
KDevelop是一个跨平台、支持多程序设计语言的集成开发环境，它可运行于Linux、OS X、Windows 和其它类Unix环境。它本身不包含编译器，而是调用其它编译器来编译程序。
自http://www.kdevelop.org/dynamic/kdevelop_news_zh_CN.rss加载RSS失败或RSS源被墙
