rocq-community / corn

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
114Updated 2 months ago

Alternatives and similar repositories for corn:

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