欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
logseq
Logseq 基于 Clojure & Electron 构建，采用 AGPL v3 许可证。
你可以基于 Logseq 构建自己的写作平台，并思考基于 Clojure 构建完整的研究、写作、协作的知识管理、知识图谱应用系统。
