GitHub repository: robkorn/spacemacs-lean-layer
Primary language: Emacs Lisp
Created: 2018-09-27T21:19:14Z
Description: Spacemacs layer for the Lean Theorem Prover.