Alternatives and similar repositories for OpenLogic

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

• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,100Updated 2 weeks ago
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆990Updated last month
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆798Updated last year
• HoTT / Coq-HoTT
  A Coq library for Homotopy Type Theory
  ☆1,339Updated 2 weeks ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆947Updated 2 weeks ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,454Updated this week
• leanprover / lean3
  Lean Theorem Prover
  ☆2,152Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆296Updated 9 months ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆362Updated last year
• UniMath / SymmetryBook
  This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
  ☆425Updated last week
• math-comp / math-comp
  Mathematical Components
  ☆639Updated last week
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆473Updated last month
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆442Updated 2 weeks ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆275Updated this week
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆175Updated last month
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆227Updated 6 months ago
• achlipala / frap
  Formal Reasoning About Programs
  ☆698Updated 3 weeks ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆784Updated last week
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆356Updated 11 months ago
• triska / the-power-of-prolog
  The Power of Prolog: Introduction to modern Prolog
  ☆1,323Updated last month
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆637Updated 2 years ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated last year
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆454Updated 6 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆300Updated 8 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆311Updated 3 months ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• jozefg / learn-tt
  A collection of resources for learning type theory and type theory adjacent fields.
  ☆2,347Updated 4 months ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆453Updated last month
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆292Updated this week
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆533Updated last month