coq-community / corn

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
113Updated last month

Alternatives and similar repositories for corn:

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