Stream: Coq users

Topic: Extract to a variable file name


view this post on Zulip Julin S (Aug 01 2022 at 15:05):

We can extract to a file in Coq with something like:

Extraction "path/to/file" GallinaTerm.

Is there a way to pass in the name of the file programmatically? So that it can be used in a script or something?


Last updated: Feb 06 2023 at 12:04 UTC