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,126Updated last month
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆994Updated this week
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆807Updated last year
• HoTT / Coq-HoTT
  A Coq library for Homotopy Type Theory
  ☆1,363Updated this week
• stacks / stacks-project
  Repository for the Stacks Project
  ☆978Updated last month
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆368Updated 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.
  ☆435Updated last week
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,477Updated this week
• leanprover / lean3
  Lean Theorem Prover
  ☆2,154Updated 2 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆370Updated 2 months ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆789Updated last month
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆489Updated 2 weeks ago
• math-comp / math-comp
  Mathematical Components
  ☆662Updated 2 weeks ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆277Updated last week
• triska / the-power-of-prolog
  The Power of Prolog: Introduction to modern Prolog
  ☆1,344Updated 2 months ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆445Updated 3 months ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆322Updated last year
• nomeata / incredible
  The Incredible Proof Machine
  ☆387Updated 2 weeks ago
• adamyedidia / parsimony
  ☆346Updated 7 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆300Updated this week
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆459Updated 6 years ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated 2 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆303Updated this week
• achlipala / frap
  Formal Reasoning About Programs
  ☆714Updated 2 weeks ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆176Updated 4 months ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆535Updated last week
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆268Updated last year
• andrejbauer / plzoo
  Programming Languages Zoo
  ☆1,572Updated last year
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,786Updated this week