0xAX/ob-lean

Support for Lean 4 in org-babel

语言：Emacs Lisp · GitHub 星标：4 · Fork：1

话题：emacs · lean4 · org-mode

在 GitHub 上查看原仓库