Coq Call 2021 04 28
Emilio Jesús Gallego Arias edited this page Apr 28, 2021
·
6 revisions
- April 28nd 2021, 4pm-5pm Paris Time
- https://rdv2.rendez-vous.renater.fr/coq-call
- Discussion and feedback on CEPS #56 Visual debugging in secondary files - Jim
- Advertisement for memprof-limits (reliable "fuel" and RAM usage limits); how to get started with its integration in Coq? Also, free discussion around asynchronous exceptions and all that if you want (postponed from the previous week) - gadmm
- Automatic failed CI tests minimization with coqbot + Jason's bug minimizer (Théo & Jason)
To the extent possible under law, the contributors of “Cocorico!, the Coq wiki” have waived all copyright and related or neighboring rights to their contributions.
By contributing to Cocorico!, the Coq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.