Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
1
Jialin (Mike) Lu
mikeljl
Follow
0 followers
·
1 following
https://mikeljl.github.io/
AI & ML interests
None yet
Organizations
mikeljl
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a Space
5 months ago
Running
12
Lean Finder
👁
12
Code search for Lean 4
