jdoughertyii / Hott Species
Licence: mit
Combinatorial species in HoTT
Labels
Projects that are alternatives of or similar to Hott Species
Fiat Crypto
Cryptographic Primitive Code Generation by Fiat
Stars: ✭ 359 (+3888.89%)
Mutual labels: coq
Unimath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Stars: ✭ 680 (+7455.56%)
Mutual labels: coq
Micro Policies Coq
Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
Stars: ✭ 18 (+100%)
Mutual labels: coq
Jscoq
A port of Coq to Javascript -- Run Coq in your Browser
Stars: ✭ 380 (+4122.22%)
Mutual labels: coq
Coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Stars: ✭ 3,566 (+39522.22%)
Mutual labels: coq
Category Theory
An axiom-free formalization of category theory in Coq for personal study and practical work
Stars: ✭ 562 (+6144.44%)
Mutual labels: coq
Autosubst
Automation for de Bruijn syntax and substitution in Coq
Stars: ✭ 22 (+144.44%)
Mutual labels: coq
Cufp 2015 Tutorial
An introductory tutorial for the Coq proof assistant.
Stars: ✭ 9 (+0%)
Mutual labels: coq
Finset
A Coq library for extensional finite sets and comprehension
Stars: ✭ 6 (-33.33%)
Mutual labels: coq
hott-species
Combinatorial species in HoTT
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].