Coq Call 2020 10 28 - rocq-prover/rocq GitHub Wiki

• October 28th 2020, 4pm-5pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• About valorizing Coq and our works better
• Miscellaneous questions