Giters

sunsided / coq-playground

Toying around with the Coq Proof Assistant

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

coqinteractive-proofs

About

Toying around with the Coq Proof Assistant

coqinteractive-proofs

Languages

Language:Coq 100.0%