欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
FreeMind
FreeMind 没怎么更新了。
FreePlane 在 FreeMind 基础上重新设计并扩充了功能的跨平台的开源(GPLv2)心智图软件。
FreeMind @ SF