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 https://github.com/coq/coq/issues/16677)


Last updated: Feb 04 2023 at 23:02 UTC