xl-zhao
/

formal_proof_generator_v1_iter3

Model card Files Files and versions Community

formal_proof_generator_v1_iter3 / tokenizer.json

xl-zhao's picture

Add model and config files

d6b89bd 7 months ago

history contribute delete

9.08 MB

File too large to display, you can check the raw version instead.