欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
source navigator 是 RedHat 开发的源码分析工具,提供类似 Source Insight 的功能,可工作在多种操作系统,支持 C, C++, Java, Tcl, [incr Tcl], FORTRAN 和 COBOL 语言。
<discussion>characters_max=300</discussion>