search

FStarLang / fstar_dataset

MIT License
0 stars 0 forks source link

Include source filename in json files #18

Closed gebner closed 1 year ago

gebner commented 1 year ago

Actual source file name that tells you the project name.