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