Coq Call 2021 03 31 - rocq-prover/rocq GitHub Wiki March 31st 2021, 4pm-5pm Paris Time https://rdv2.rendez-vous.renater.fr/coq-call Topics PR #14002 and the return of the revenge of the son of libobjects in functors (PMP)