akjadhav/leandojo-lean4-formal-informal-strings-split
Viewer
•
Updated
•
50k
•
9
Ameya Jadhav
akjadhav
·
AI & ML interests
None yet
Organizations
models
None public yet