2022.04 track creation for coq-prover

Hello, we are about to release a new version of coq-prover. I’d like a track named 2022.04 to be created (following the fast track creation procedure).

Best regards

+1 as reviewer, the track is now available :slight_smile:

  • Daniel