Stream: Coq users

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

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: Sep 26 2023 at 13:01 UTC