Lean Finder
👁
16
Code search for Lean 4
Jialin (Mike) Lu
mikeljl
·
AI & ML interests
None yet
Recent Activity
updated a Space 7 days ago
delta-lab-ai/Lean-Finder updated a Space 9 days ago
mikeljl/graph published a Space 9 days ago
mikeljl/graphOrganizations
updated a
Space 7 days ago
updated a
Space 9 days ago
published a
Space 9 days ago
updated a
model 19 days ago
published a
model 19 days ago
updated a
Space 21 days ago
updated a
model 26 days ago
published a
model 26 days ago
updated a
model 27 days ago
published a
model 27 days ago
updated a
model about 2 months ago
liked a
model 2 months ago
liked a
Space 2 months ago
published a
model 2 months ago
published a
Space 2 months ago
liked a
Space 9 months ago
authored a
paper 9 months ago
updated 2
Spaces 9 months ago