mdnahas / Peano_Book
English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano
☆30Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Peano_Book
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆38Updated 2 years ago
- ☆77Updated 2 months ago
- My basic LaTeX macros and BibTeX file.☆13Updated last year
- A formal proof of the independence of the continuum hypothesis☆117Updated 2 months ago
- ☆32Updated 2 weeks ago
- Mathematical Components (the Book)☆140Updated last year
- Kan: A browser extension for reading nLab☆25Updated 6 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆72Updated 2 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- Compiling Agda code to readable Haskell☆177Updated last month
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆68Updated 9 months ago
- Andrej Bauer's blog "Mathematics and Computation"☆49Updated 9 months ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆44Updated 8 months ago
- A Verified Compiler for Gallina, Written in Gallina☆136Updated 3 months ago
- Emacs mode for Lean☆69Updated last year
- Categorical Logic Notes☆74Updated 2 years ago
- My mathematical Zettelkasten, created using forester.☆78Updated this week
- Book about using Lean with How To Prove It☆15Updated 2 months ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- Selected Papers of Dana S. Scott☆155Updated 5 months ago
- LaTeX code for a paper on lean's type theory☆121Updated 2 years ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆160Updated 3 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆34Updated last year
- Source of metamath book☆45Updated 11 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago
- Nightly builds☆22Updated this week
- An experimental category theory library for Lean☆47Updated last year
- Lecture notes on realizability☆65Updated last month
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆111Updated 3 months ago