欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Edyuk 是一款用于 Qt 的集成开发环境。具有轻量、快速等优点。当前的主要功能包括:qmake 项目管理、集成了 Qt 设计器和助手、强大而灵活的代码编辑能力、类浏览、代码完成、以及编译和调试等等。
新建
配置
<discussion>characters_max=300</discussion>