Giters

skykanin / Proofs

Collection of formal proofs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

coqidriscurry-howard-isomorphismproofs

Proofs

Playground for trying out dependently typed languages and playing around with proofs

About

Collection of formal proofs

coqidriscurry-howard-isomorphismproofs

License:GNU General Public License v3.0

Languages

Language:Idris 84.3%Language:Coq 15.7%