Stream: Coq users

Topic: How does `Extraction` decide the naming scheme?

view this post on Zulip Jason Gross (Oct 17 2022 at 16:43):

When does Extraction decide whether to renumber things (turning f into f0, f1, etc) vs put them in modules (Coq__1.f, Coq__2.f, etc?) (I'm trying to minimize

Last updated: Jun 16 2024 at 04:03 UTC