GitHub repository: rocq-community/corn
Primary language: Rocq Prover
Description: Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]