Lean Finder
👁
16
Code search for Lean 4
Rodrigo Stehling
Rodrigo1421
·
AI & ML interests
None yet
Recent Activity
updated a Space 7 days ago
Rodrigo1421/cv-curve-fitting published a Space 7 days ago
Rodrigo1421/cv-curve-fitting liked a Space 10 months ago
delta-lab-ai/Lean-FinderOrganizations
liked a
Space 10 months ago