leanprover-community / lean4-modeLinks
Emacs major mode for Lean 4
☆95Updated this week
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☆29Updated this week
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆86Updated 3 weeks ago
- Emacs support for Typst.☆64Updated last year
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆19Updated 3 years ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆41Updated this week
- lsp-mode haskell☆242Updated 2 months ago
- A Library for Classical Propositional Logic in Agda☆16Updated 5 years ago
- emacs mode for Wolfram Language☆30Updated 2 months ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆25Updated 6 months ago
- citar/org-roam integration☆108Updated 2 months ago
- ☆86Updated 2 months ago
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆52Updated 4 months ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆27Updated 7 months ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- ☆130Updated 3 years ago
- Preview Typst code blocks in org-mode (not necessarily) buffers.☆67Updated 4 months ago
- A Testing Framework for Lean☆56Updated 2 months ago
- Agda as a collaborative multiplayer game☆36Updated 8 months ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆61Updated this week
- ☆19Updated 3 weeks ago
- An editing environment for LaTeX mathematical documents☆263Updated last month
- Emacs front end for SageMath☆104Updated last year
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- Statistics visualizer for org-mode☆98Updated last year
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 4 years ago
- Emacs lsp-mode client for LaTeX, on texlab.☆72Updated 4 months ago
- Emacs mode for BQN programming language☆39Updated 3 weeks ago
- Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacs☆198Updated 2 months ago
- Code samples for Lean 4☆75Updated last year