Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Ameya Jadhav
akjadhav
Follow
0 followers
·
2 following
ameyajadhav_
akjadhav
AI & ML interests
None yet
Organizations
models
0
None public yet
datasets
2
Sort: Recently updated
akjadhav/leandojo-lean4-formal-informal-strings-split
Viewer
•
Updated
Feb 8, 2024
•
50k
•
20
•
2
akjadhav/leandojo-lean4-formal-informal-strings
Updated
Jan 30, 2024
•
39
•
1
