Stream: Coq devs & plugin devs

Topic: --no-qed-check previous call


view this post on Zulip Gaëtan Gilbert (Sep 23 2020 at 13:56):

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?

view this post on Zulip Gaëtan Gilbert (Sep 23 2020 at 13:56):

cc @Arthur Charguéraud


Last updated: Oct 15 2021 at 21:02 UTC