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
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.