欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Cursive 是一个基于 IntelliJ IDEA 的 Clojure IDE。
Cursive是个闭源的商业软件,需要购买许可证。
IDE