leanprover-community / lean4-modeLinks
Emacs major mode for Lean 4
☆99Updated 3 weeks ago
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 last week
- lsp-mode haskell☆242Updated 3 months ago
- A Library for Classical Propositional Logic in Agda☆16Updated 5 years ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 2 months ago
- This repo is the new home of Proof General☆528Updated 3 weeks ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆19Updated 3 years ago
- Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacs☆200Updated 3 months ago
- Statistics visualizer for org-mode☆98Updated last year
- Emacs support for Typst.☆66Updated last year
- A Coq IDE build on top of Proof General's Coq mode☆357Updated this week
- hasklig-mode.el - Hasklig ligatures for emacs☆40Updated 7 months ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆26Updated 7 months ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆269Updated 3 months ago
- Tools for interacting with Boogie☆47Updated 4 months ago
- TLA+ tools for Emacs☆33Updated 7 months ago
- Completion back-ends for for math unicode symbols and latex tags☆126Updated 2 years ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆44Updated this week
- Preview Typst code blocks in org-mode (not necessarily) buffers.☆68Updated 5 months ago
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆53Updated 6 months ago
- Writing Emacs plugin in OCaml☆274Updated last month
- An editing environment for LaTeX mathematical documents☆267Updated 2 months ago
- ☆131Updated 3 years ago
- Emacs support for F*☆71Updated last month
- Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄☆24Updated last year
- ☆86Updated 3 months ago
- org-babel integration with SageMath☆35Updated 5 years ago
- A parser combinator library for Emacs Lisp, similar to Haskell's Parsec library.☆126Updated 4 years ago
- Wrappers around emacs-module.h to write Emacs modules in Haskell☆60Updated 7 months ago
- Major mode for RISC V assembly☆22Updated 2 years ago