2021.09 track creation for coq-prover

Hello, we are about to release a new version of the Coq prover and we’d like to open a track called 2021.09.

Best regards

Just in case, coq-prover already has tracks following this date based schema.
Maybe I should have made my title more precise.

+1 as reviewer and the new track is now ready.

  • Daniel