Lean Refactor Arena
🌖
3
Two-track multi-objective Lean 4 proof refactoring
Jialin (Mike) Lu
mikeljl
·
AI & ML interests
None yet
Recent Activity
updated a Space 7 days ago
delta-lab-ai/lean-refactor-arena updated a Space about 1 month ago
delta-lab-ai/Lean-Finder updated a Space about 1 month ago
mikeljl/graphOrganizations
updated a
Space 7 days ago
updated 2
Spaces about 1 month ago
published a
Space about 1 month ago
updated a
model about 2 months ago
published a
model about 2 months ago
updated a
model about 2 months ago
published a
model about 2 months ago
updated a
model about 2 months ago
published a
model about 2 months ago
updated a
model 3 months ago
liked a
model 3 months ago
liked a
Space 3 months ago
updated 2
Spaces 3 months ago
updated a
model 3 months ago
published a
model 3 months ago
published a
Space 3 months ago
liked a
Space 10 months ago
authored a
paper 10 months ago