sunsided / coq-playground

Toying around with the Coq Proof Assistant

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

Toying around with the Coq Proof Assistant


Languages

Language:Coq 100.0%