Alternatives and similar repositories for fib

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

• avigad / lamr
  Logic and Mechanized Reasoning
  ☆105Updated last month
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆28Updated 2 weeks ago
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆68Updated last year
• CategoryTheoryArchive / archive
  A digital archive of category theory papers.
  ☆31Updated last month
• nadia-polikarpova / synquid
  ☆136Updated 3 years ago
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆68Updated last year
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆119Updated 3 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated 3 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆130Updated 2 weeks ago
• Lysxia / advent-of-coq-2021
  ☆44Updated 3 years ago
• choukh / CategoryTheory
  A Coq formalization of the textbook Categories and Toposes: Visualized and Explained
  ☆21Updated 2 years ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆61Updated last month
• blanchette / logical_verification_2022
  Logical Verification 2022-2023 course at VU Amsterdam
  ☆18Updated last year
• codyroux / name-the-biggest-number
  ☆64Updated 2 years ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆61Updated last week
• tchajed / ltac2-tutorial
  Ltac2 tutorial
  ☆45Updated 2 years ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆55Updated last week
• harp-project / AML-Formalization
  ☆11Updated last week
• olaure01 / yalla
  Yet Another deep embedding of Linear Logic in Coq
  ☆16Updated last week
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆261Updated this week
• rocq-community / coqdocjs
  Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
  ☆40Updated last year
• uwplse / StructTact
  Coq utility and tactic library.
  ☆24Updated last year
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆82Updated 2 years ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆23Updated last month
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆14Updated 6 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆128Updated last month
• tomdjong / MGS-domain-theory
  Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…
  ☆46Updated last year