Alternatives and similar repositories for fib

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

• LeifAndersen / PLGradSchools
  ☆234Updated last year
• synduce / Synduce
  An automatic recursive function transformer.
  ☆10Updated 2 years ago
• viperproject / VerifiedSCION
  Verifying the SCION architecture using Gobra
  ☆11Updated last week
• logsem / iris-tutorial
  ☆69Updated 4 months ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆64Updated this week
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆284Updated 4 months ago
• tchajed / ltac2-tutorial
  Ltac2 tutorial
  ☆46Updated 3 years ago
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆70Updated last year
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆171Updated last year
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆67Updated this week
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆23Updated 6 months ago
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆28Updated 2 months ago
• uwplse / StructTact
  Coq utility and tactic library.
  ☆27Updated 2 years ago
• rocq-community / coqdocjs
  Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
  ☆40Updated 3 months ago
• m-fleury / isabelle-emacs
  Clone of isabelle, with LSP extensions in seperate branches
  ☆28Updated 3 weeks ago
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆69Updated last year
• nadia-polikarpova / synquid
  ☆143Updated 3 years ago
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆163Updated last week
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆71Updated 4 months ago
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆221Updated 3 years ago
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆106Updated 2 weeks ago
• dafny-lang / libraries
  Libraries useful for Dafny programs
  ☆48Updated 5 months ago
• choukh / CategoryTheory
  A Coq formalization of the textbook Categories and Toposes: Visualized and Explained
  ☆21Updated 3 years ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆268Updated last week
• cpitclaudel / company-coq
  A Coq IDE build on top of Proof General's Coq mode
  ☆359Updated 5 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
  ☆132Updated 5 months ago
• avigad / formal_methods_in_education
  A web page with resources for teaching with formal methods and tools.
  ☆14Updated 2 years ago
• proofengineering / proofengineering-bib
  BibTeX bibliographies for proof engineering-related papers
  ☆30Updated 6 years ago
• will62794 / endive
  Tool for automatically inferring inductive invariants of distributed protocols.
  ☆21Updated 2 weeks ago