NicolasT08
/

formal-mas

theorem-proving

Model card Files Files and versions

formal-mas / data /retrieval_eval /leansearch_comparison_dev.json

Commit History

Nov 9 Yesterday

20:43
Formal-MAS source code

NicolasT08

Verified signature
dfe1826