Giters

dcolish / Cockerel

An Online Logic Assistant Based on Coq

Home Page:http://packages.python.org/cockerel/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

dcolish/Cockerel Issues