The notes for the 2020-09-09 call say some "--no-qed-check" flag was discussed but doesn't explain what it's supposed to do. Is it different from vos mode?
cc @Arthur Charguéraud
Last updated: Oct 13 2024 at 01:02 UTC