xl-zhao
/

formal_proof_generator_v4_iter3

Model card Files Files and versions Community

formal_proof_generator_v4_iter3

Commit History

Add model and config files

58aa63d

xl-zhao commited on Aug 27, 2024

Update README.md

ee7e331
verified

xl-zhao commited on Aug 25, 2024

initial commit

81206de
verified

xl-zhao commited on Aug 25, 2024