Coq Call 2022 04 13 - rocq-prover/rocq GitHub Wiki

Due to holidays and many developers being away, this call is canceled, topics have been moved to next week's page.