leanprover / lean3-mode
Emacs mode for Lean
☆70Updated last year
Alternatives and similar repositories for lean3-mode:
Users that are interested in lean3-mode are comparing it to the libraries listed below
- Emacs major mode for Lean 4☆82Updated last month
- A Probability Theory Library for the Coq Theorem Prover☆52Updated last year
- Clone of isabelle, with LSP extensions in seperate branches☆28Updated this week
- ☆81Updated 6 months ago
- The Iowa Agda Library☆47Updated 3 months ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 3 years ago
- A blog about Coq☆47Updated 2 years ago
- Emacs support for F*☆68Updated last month
- Algebraic Combinatorics in Coq☆38Updated last month
- Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.☆68Updated 10 months ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆113Updated last month
- A very simple coq layer for spacemacs☆36Updated 5 years ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆69Updated last week
- HoTT in Lean 3☆78Updated 4 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆29Updated 2 months ago
- Coq Enhancement Proposals☆55Updated last month
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- An experimental category theory library for Lean☆49Updated last year
- An equational theorem prover based on Knuth-Bendix completion☆50Updated last week
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆27Updated 4 months ago
- A proof of Abel-Ruffini theorem.☆28Updated this week
- A Testing Framework for Lean☆51Updated last week
- ☆54Updated last week
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆52Updated last month
- Coq plugin embedding elpi☆159Updated this week
- ☆31Updated last year
- A library of mechanised undecidability proofs in the Coq proof assistant.☆115Updated 2 weeks ago
- ☆36Updated last week
- A (formalised) general definition of type theories☆57Updated 3 years ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆44Updated last year