Coq Call 2021 04 28 - coq/coq GitHub Wiki

• April 28nd 2021, 4pm-5pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• 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)