mekeor's repositories
emacs-lean4
Emacs major mode for Lean 4
Language:Emacs LispApache-2.0000
interactive_theorem_proving_2024
Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
Language:Lean000
melpa
Recipes and build machinery for the biggest Emacs package repo
Language:Emacs LispNOASSERTION000