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

Sorting: