search

FStarLang / fstar_dataset

MIT License
0 stars 0 forks source link

Provenance information #11

Open gebner opened 1 year ago

gebner commented 1 year ago

Include source revision, FStar version, etc. Everything necessary to reproduce.