mdnahas / Peano_Book
English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano
☆31Updated 2 years ago
Alternatives and similar repositories for Peano_Book:
Users that are interested in Peano_Book are comparing it to the libraries listed below
- A formalization of geometry in Coq based on Tarski's axiom system☆190Updated 7 months ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆57Updated 10 months ago
- A sudoku game where you have to prove that your deductions are valid☆114Updated 2 years ago
- A formal proof of the independence of the continuum hypothesis☆121Updated 4 months ago
- A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]☆163Updated 2 months ago
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆182Updated 2 months ago
- Lecture notes on univalent foundations of mathematics with Agda☆221Updated 9 months ago
- The Principia Rewrite☆210Updated last month
- Mathematical Components (the Book)☆141Updated last year
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆69Updated 11 months ago
- Mathematical Components compliant Analysis Library☆210Updated this week
- A graphical interactive proof assistant designed for education☆165Updated last month
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆112Updated last week
- CMU Undergrad Course☆96Updated last year
- Standard ML of New Jersey☆194Updated this week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆115Updated 5 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆353Updated this week
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆95Updated 4 years ago
- A Verified Compiler for Gallina, Written in Gallina☆140Updated 2 weeks ago
- Tim Button's open textbook on set theory☆31Updated last year
- EPIT 2020 - Spring School on Homotopy Type Theory☆103Updated 3 years ago
- The agda-unimath library☆229Updated last week
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- Proof assistant based on the λΠ-calculus modulo rewriting☆291Updated this week
- A function definition package for Coq☆226Updated last month
- Emacs mode for Lean☆70Updated last year
- Compiling Agda code to readable Haskell☆182Updated this week
- Implementation of the λΠ-calculus modulo rewriting☆200Updated 2 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆246Updated last month
- The adventures of a Haskell compiler☆215Updated last month