braxtonhall / fibLinks
the fibonacci only you would give me
☆16Updated 3 months ago
Alternatives and similar repositories for fib
Users that are interested in fib are comparing it to the libraries listed below
Sorting:
- Verifying the SCION architecture using Gobra☆11Updated 2 weeks ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆275Updated last month
- Python client for coq-lsp☆41Updated 3 months ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆62Updated 6 years ago
- A gently curated list of companies using verification formal methods in industry☆575Updated last week
- PL conference deadline countdowns☆62Updated last month
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆70Updated last year
- ☆233Updated last year
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆361Updated 2 months ago
- Clone of isabelle, with LSP extensions in seperate branches☆28Updated this week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆530Updated 4 months ago
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆148Updated last week
- ☆166Updated 5 years ago
- ☆28Updated last year
- Selected Papers of Dana S. Scott☆165Updated last year
- A Lean library for Computer Science☆140Updated this week
- Logic and Mechanized Reasoning☆105Updated 3 months ago
- ☆91Updated 5 months ago
- ☆139Updated 3 years ago
- Ltac2 tutorial☆46Updated 2 years ago
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆310Updated last year
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆261Updated this week
- A Coq IDE build on top of Proof General's Coq mode☆358Updated 2 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆129Updated last month
- ☆101Updated last week
- SampCert : Verified Differential Privacy☆82Updated 5 months ago
- Communication between Coq and SAT/SMT solvers☆160Updated 2 weeks ago
- CIS 6700, Spring 2023☆18Updated 2 years ago
- A tutorial on how Agda infers things☆62Updated 3 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated 2 months ago