Lean Refactor Arena: likes over time

delta-lab-ai/lean-refactor-arena is a docker Space on the Hugging Face Hub. It has 4 likes, 1 in the last 7 days and 1 in the last 30, and ranks #14,927 among Spaces by likes.

Two-track multi-objective Lean 4 proof refactoring

Open delta-lab-ai/lean-refactor-arena on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.