subfish/Lean_tutorial_data_traced
Updated
•
31
Ziyu Zhou
subfish
·
AI & ML interests
Automated Theorem Proving, Autoformalization
Organizations
models
None public yet