mdnahas / Peano_BookLinks
English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano
☆37Updated 3 years ago
Alternatives and similar repositories for Peano_Book
Users that are interested in Peano_Book are comparing it to the libraries listed below
Sorting:
- Standard ML of New Jersey☆232Updated last week
- Proof assistant based on the λΠ-calculus modulo rewriting☆368Updated this week
- Metamath source file for logic and set theory☆302Updated this week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆418Updated this week
- A formal logic framework that runs in the browser☆323Updated last year
- The HOL Light theorem prover☆497Updated this week
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆203Updated 2 months ago
- Formal verification for OCaml☆271Updated last year
- The Principia Rewrite☆229Updated 2 months ago
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆498Updated 2 weeks ago
- papers of Per Martin Löf☆808Updated 2 years ago
- This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆44Updated 2 months ago
- Poly/ML☆521Updated this week
- A Verified Compiler for Gallina, Written in Gallina☆158Updated last month
- git mirror of the Munich isabelle hg repository☆131Updated this week
- The Agda standard library☆642Updated this week
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆375Updated 2 months ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆127Updated 11 months ago
- HoTTEST Summer School materials☆322Updated 7 months ago
- A function definition package for Coq☆236Updated last week
- Source code for the nLab☆201Updated 10 months ago
- Standard ML Compiler and Toolkit☆297Updated 2 weeks ago
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆226Updated 3 months ago
- Multi platform setup for Coq, Coq libraries and tools☆223Updated 2 weeks ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆284Updated 4 months ago
- ☆234Updated last year
- The agda-unimath library☆283Updated this week
- This repo is the new home of Proof General☆546Updated last week
- Metamath Zero specification language☆372Updated 3 weeks ago