Highlights
- Pro
Stars
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
psteckler / ProofGeneral
Forked from ProofGeneral/PGThis repo is a fork of the Proof-General github repo. The `server-protocol' branch uses Coq's XML protocol, which support async processing
Archive for all Coq related OPAM packages organized in various repositories