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