https://github.com/leanprover/emacs-dependencies

Auxiliary repository to store emacs packages required by Lean Emacs mode
https://github.com/leanprover/emacs-dependencies

Last synced: 7 months ago
JSON representation

Auxiliary repository to store emacs packages required by Lean Emacs mode

• Host: GitHub
• URL: https://github.com/leanprover/emacs-dependencies
• Owner: leanprover
• Created: 2015-01-30T18:12:13.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2016-05-12T05:45:36.000Z (about 10 years ago)
• Last Synced: 2024-12-25T17:11:45.378Z (over 1 year ago)
• Language: Emacs Lisp
• Size: 501 KB
• Stars: 2
• Watchers: 9
• Forks: 4
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# emacs-dependencies

Auxiliary repository to store emacs packages required by Lean Emacs mode.

We use this repository when building binary installation packages for the Lean theorem prover.