Highlights
- Pro
Stars
Multi platform setup for Coq, Coq libraries and tools
Docker images of coq-mathcomp [maintainer=@erikmd]
Archive for all Coq related OPAM packages organized in various repositories
Multi platform setup for Coq, Coq libraries and tools
Docker images of coq-mathcomp [maintainer=@erikmd]
Archive for all Coq related OPAM packages organized in various repositories