xl-zhao
/

formal_proof_generator_v1_iter3

Model card Files Files and versions Community

formal_proof_generator_v1_iter3

Commit History

Create README.md

90eb469
verified

xl-zhao commited on Aug 23, 2024

Add model and config files

d6b89bd

xl-zhao commited on Aug 22, 2024

initial commit

4325fea
verified

xl-zhao commited on Aug 22, 2024