GitHub repository: rocq-prover/platform
Primary language: Shell
Description: Multi platform setup for Coq, Coq libraries and tools