juniorxxue / emacs.d

Theorem Proving in Emacs
12Updated 2 months ago

Alternatives and similar repositories for emacs.d:

Users that are interested in emacs.d are comparing it to the libraries listed below