braxtonhall / fibLinks
the fibonacci only you would give me
☆16Updated 5 months ago
Alternatives and similar repositories for fib
Users that are interested in fib are comparing it to the libraries listed below
Sorting:
- Selected Papers of Dana S. Scott☆169Updated last year
- Verifying the SCION architecture using Gobra☆11Updated last month
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆69Updated last year
- ☆234Updated last year
- PL conference deadline countdowns☆63Updated last week
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆96Updated last week
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated 4 months ago
- A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…☆55Updated last week
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆40Updated last month
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆70Updated last year
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆50Updated 3 years ago
- Logic and Mechanized Reasoning☆114Updated last month
- A collection of tools for writing technical documents that mix Coq code and prose.☆279Updated 2 months ago
- Communication between Coq and SAT/SMT solvers☆160Updated 3 weeks ago
- Coq plugin embedding elpi☆177Updated last week
- Ltac2 tutorial☆46Updated 3 years ago
- ☆11Updated 3 months ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆109Updated 4 years ago
- Hahn: A Coq library☆29Updated last year
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Updated 7 months ago
- Separation Logic Proofs in Lean☆45Updated 8 months ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 6 months ago
- A Library for Representing Recursive and Impure Programs in Coq☆238Updated 3 weeks ago
- An automatic recursive function transformer.☆10Updated 2 years ago
- ☆64Updated 3 months ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆266Updated this week
- SampCert : Verified Differential Privacy☆84Updated 7 months ago
- Benchmarks for capture-avoiding substitution☆121Updated 6 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆406Updated last week
- A tutorial on how Agda infers things☆63Updated 5 months ago