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

• May 04th, 2022, 4pm-5pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• CI versus unimath (postponed due to lack of interested people)
• https://github.com/coq/coq/pull/15274 export for tactic_option commands
• https://github.com/coq/coq/pull/15867 vendor stream or depend on camlp-streams