Coq Call 2021 05 26 - rocq-prover/rocq GitHub Wiki

• May 26th 2021, 4pm-5pm Paris Time
• https://whereby.com/mattam82 on whereby.com

Topics

• Libera.chat Coq channel
• Next steps toward renaming Coq
• Print Assumptions issue, how do we proceed? https://github.com/coq/coq/issues/14317

Notes