dcolish / Cockerel

An Online Logic Assistant Based on Coq
25Updated 13 years ago

Alternatives and similar repositories for Cockerel:

Users that are interested in Cockerel are comparing it to the libraries listed below