hax icon indicating copy to clipboard operation
hax copied to clipboard
verified publisher icon hacspec

Names in generated CoqProject_ for Coq extraction

Open cmester0 opened this issue 7 months ago • 0 comments

Currently the Coq extraction uses TODO as the namespace for generated files. It should use the name of the crate instead, to be consistent with imports / multiple crate projects.

cmester0 avatar May 06 '25 10:05 cmester0