Coq Call 2022 04 13 - coq/coq GitHub Wiki

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