Post #1402953

Did you know that Rocq has very good looking badges to include in your next paper/repo/etc? https://github.com/rocq-prover/rocq-prover.org/tree/9529d3ee4f4c86c5cc73650f2c07d06fa458762c/rocq-id/badges