leanprover / lean3-mode
Emacs mode for Lean
☆69Updated last year
Related projects ⓘ
Alternatives and complementary repositories for lean3-mode
- Emacs major mode for Lean 4☆70Updated this week
- A Probability Theory Library for the Coq Theorem Prover☆49Updated last year
- Emacs support for F*☆67Updated 8 months ago
- The Iowa Agda Library☆46Updated 5 months ago
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- HoTT in Lean 3☆75Updated 4 years ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆111Updated this week
- A very simple coq layer for spacemacs☆36Updated 5 years ago
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆21Updated this week
- ☆77Updated 2 months ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆66Updated 3 months ago
- Coq plugin embedding elpi☆139Updated this week
- A (formalised) general definition of type theories☆56Updated 3 years ago
- ☆51Updated this week
- Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.☆68Updated 6 months ago
- A blog about Coq☆47Updated 2 years ago
- Monadic effects and equational reasonig in Coq☆68Updated 3 weeks ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 3 years ago
- A Library for Classical Propositional Logic in Agda☆15Updated 5 years ago
- ☆28Updated last year
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆51Updated last year
- The Agda Universal Algebra Library (html docs available at the url below)☆29Updated 5 months ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆25Updated last week
- A proof tree viewer that works with Coq through Proof General☆24Updated 3 years ago
- Coq Enhancement Proposals☆49Updated 2 weeks ago
- High level commands to declare a hierarchy based on packed classes☆97Updated this week
- Selected Papers of Dana S. Scott☆155Updated 5 months ago
- ☆51Updated last month
- Algebraic Combinatorics in Coq☆37Updated this week
- Formalizations of Gradually Typed Languages in Agda☆54Updated last month