Alternatives and similar repositories for Peano_Book

Users that are interested in Peano_Book are comparing it to the libraries listed below

• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆218Updated 3 months ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆173Updated 4 years ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆539Updated 3 weeks ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆353Updated last week
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆155Updated 2 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆126Updated 7 months ago
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆226Updated this week
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆303Updated 9 months ago
• UniMath / Schools
  ☆90Updated 5 months ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆199Updated 5 months ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆220Updated last week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆312Updated 4 months ago
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆472Updated last week
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆127Updated this week
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆165Updated last year
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆373Updated 5 years ago
• formal-land / coq-of-ocaml
  Formal verification for OCaml
  ☆267Updated last year
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆229Updated 3 weeks ago
• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆360Updated last month
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆274Updated 3 weeks ago
• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆212Updated last week
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆193Updated this week
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆475Updated 3 weeks ago
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆56Updated 5 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆227Updated 8 months ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆179Updated 2 weeks ago
• Mzk-Levi / texts
  ☆160Updated 10 years ago
• mietek / sf
  Mirror of Software Foundations in PDF
  ☆304Updated 4 years ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆269Updated this week