leandojo-lean3-generator-random / generation_config.json

Commit History

Upload 5 files
b5f6800
verified

sean-lamont commited on