leanprover-community / lean4-modeLinks
Emacs major mode for Lean 4
☆100Updated last month
Alternatives and similar repositories for lean4-mode
Users that are interested in lean4-mode are comparing it to the libraries listed below
Sorting:
- Emacs mode for Lean☆69Updated 2 years ago
- Clone of isabelle, with LSP extensions in seperate branches☆28Updated this week
- lsp-mode haskell☆242Updated 4 months ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆19Updated 3 years ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 3 months ago
- Emacs support for Typst.☆67Updated last year
- Statistics visualizer for org-mode☆98Updated last year
- Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacs☆201Updated 2 weeks ago
- A Library for Classical Propositional Logic in Agda☆16Updated 5 years ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆44Updated 3 weeks ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆26Updated 8 months ago
- Completion back-ends for for math unicode symbols and latex tags☆126Updated 2 years ago
- Emacs front end for SageMath☆107Updated last year
- This repo is the new home of Proof General☆535Updated 2 weeks ago
- Preview Typst code blocks in org-mode (not necessarily) buffers.☆69Updated 6 months ago
- Insert Unicode math symbols in Emacs☆14Updated 3 years ago
- ☆131Updated 3 years ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆269Updated 4 months ago
- Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄☆24Updated last year
- An editing environment for LaTeX mathematical documents☆267Updated 3 months ago
- Typst live preview minor mode for emacs☆81Updated 2 weeks ago
- A Coq IDE build on top of Proof General's Coq mode☆357Updated last week
- Tools for interacting with Boogie☆47Updated 5 months ago
- Agda as a collaborative multiplayer game☆38Updated 10 months ago
- Parser for Emacs org-mode files☆34Updated 2 weeks ago
- hasklig-mode.el - Hasklig ligatures for emacs☆40Updated 7 months ago
- ☆88Updated 4 months ago
- My Emacs config☆126Updated last month
- Selected Papers of Dana S. Scott☆162Updated last year
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆53Updated 6 months ago