Stream: Coq users

Topic: Extract to a variable file name

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: Sep 30 2023 at 05:01 UTC