robkorn/spacemacs-lean-layer

Spacemacs layer for the Lean Theorem Prover.

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

话题：lean · spacemacs · spacemacs-layer · theorem-prover

在 GitHub 上查看原仓库