Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
Ameya Jadhav
akjadhav
Follow
ameyajadhav_
akjadhav
AI & ML interests
None yet
Organizations
models
None public yet
datasets
2
Sort: Recently updated
akjadhav/leandojo-lean4-formal-informal-strings-split
Viewer
•
Updated
Feb 8
•
50k
•
18
akjadhav/leandojo-lean4-formal-informal-strings
Updated
Jan 30
•
21