Lean Refactor Arena
🌖
10
Two-track multi-objective Lean 4 proof refactoring
Jialin (Mike) Lu
mikeljl
·
AI & ML interests
None yet
Recent Activity
updated a Space 6 days ago
delta-lab-ai/lean-refactor-arena new activity 12 days ago
delta-lab-ai/lean-refactor-arena:Key reset and possible display issue updated a Space 23 days ago
delta-lab-ai/Lean-FinderOrganizations
updated a
Space 6 days ago
Key reset and possible display issue
2
#1 opened about 1 month ago
by 
jvlmdr
updated a
Space 23 days ago
updated a
Space 27 days ago
updated a
Space 28 days ago
Key reset and possible display issue
2
#1 opened about 1 month ago
by jvlmdr
updated 2
Spaces about 1 month ago
updated a
model about 2 months ago
published a
model about 2 months ago