Alternatives and similar repositories for fib

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

• blanchette / logical_verification_2022
  Logical Verification 2022-2023 course at VU Amsterdam
  ☆18Updated last year
• viperproject / VerifiedSCION
  Verifying the SCION architecture using Gobra
  ☆11Updated last month
• mikeizbicki / cmc-csci040
  Computing for the Web
  ☆37Updated 3 months ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆62Updated 3 weeks ago
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆68Updated last year
• tchajed / coq-tla
  ☆27Updated last year
• tchajed / ltac2-tutorial
  Ltac2 tutorial
  ☆45Updated 2 years ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆271Updated last week
• onosproject / tlaplus-monitor
  Tools for conformance monitoring on Kubernetes with TLA+
  ☆23Updated last year
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• rocq-community / coqdocjs
  Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
  ☆40Updated last year
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆61Updated 2 months ago
• jaspervdj / uplcg
  Untitled PL Card Game
  ☆20Updated 4 years ago
• logsem / iris-lecture-notes
  ☆15Updated last year
• nadia-polikarpova / synquid
  ☆139Updated 3 years ago
• rocq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆91Updated 3 weeks ago
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆50Updated 3 weeks ago
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆28Updated last week
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆39Updated 6 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆163Updated last year
• Zeta611 / simplebnf
  ⌥ Simple Backus–Naur form (BNF) LaTeX package
  ☆41Updated last year
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆23Updated last month
• logsem / iris-tutorial
  ☆56Updated 3 weeks ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆105Updated 2 months ago
• proofengineering / proofengineering-bib
  BibTeX bibliographies for proof engineering-related papers
  ☆30Updated 6 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆70Updated 3 weeks ago
• 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
• Lysxia / advent-of-coq-2021
  ☆44Updated 3 years ago
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆95Updated this week
• hipsleek / hipsleek
  ☆12Updated 7 months ago