leandojo-lean3-reprover-random / generation_config.json

Commit History

Upload 5 files
f824fa5
verified

sean-lamont commited on