Alternatives and similar repositories for book:

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

• HoTT / Coq-HoTT
  A Coq library for Homotopy Type Theory
  ☆1,294Updated this week
• UniMath / UniMath
  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆971Updated this week
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆764Updated 3 weeks ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆767Updated last year
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,408Updated this week
• math-comp / math-comp
  Mathematical Components
  ☆602Updated this week
• mortberg / cubicaltt
  Experimental implementation of Cubical Type Theory
  ☆574Updated last year
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆446Updated this week
• agda / agda-stdlib
  The Agda standard library
  ☆601Updated this week
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆333Updated 5 months ago
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,574Updated this week
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,225Updated last week
• HoTT / HoTT-Agda
  Development of homotopy type theory in Agda
  ☆422Updated 6 years ago
• UniMath / SymmetryBook
  This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …
  ☆411Updated 3 weeks ago
• coq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆513Updated last week
• nomeata / incredible
  The Incredible Proof Machine
  ☆367Updated last year
• leanprover / lean3
  Lean Theorem Prover
  ☆2,150Updated last year
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆998Updated this week
• haskell / parsec
  A monadic parser combinator library
  ☆862Updated last month
• jozefg / learn-tt
  A collection of resources for learning type theory and type theory adjacent fields.
  ☆2,209Updated 5 months ago
• ekmett / lens
  Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
  ☆2,045Updated 3 weeks ago
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆639Updated 3 weeks ago
• urweb / urweb
  The Ur/Web programming language
  ☆806Updated 8 months ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆523Updated 3 months ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆241Updated 10 years ago
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆899Updated 4 years ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆885Updated 5 months ago
• yallop / effects-bibliography
  A collaborative bibliography of work related to the theory and practice of computational effects
  ☆997Updated 3 weeks ago
• the-little-typer / pie
  The Pie language, which accompanies The Little Typer by Friedman and Christiansen
  ☆709Updated 3 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆296Updated last year