Rocq-community

A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of packages for the Rocq Prover