gitlab.com topics: Coq
boreal-ldd/coq-ldd
A Formalization of Lambda Decision Diagram (LDD) in Coq.
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
lysxia/kittens
Category theory library in Coq
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
frekdote/alpha-equivalence
A formalization of Simply Typed Lambda Calculus with α-equivalence using Coq
Last synced at: over 2 years ago - Stars: 1 - Forks: 0
verify-at-iitpkd/coq-lectures
Lecture notes and study material for the Proof Assistant Coq
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
symbolic-dynamics/symbolic-dynamics
So far it's the single all-containing project in the group, but that may change in the future.
Last synced at: over 2 years ago - Stars: 1 - Forks: 0
legicash/legicash-contracts
Formally verified cryptocurrency smart contracts using game semantics in Coq
Last synced at: over 2 years ago - Stars: 0 - Forks: 0