Space: delta-lab-ai/lean-refactor-arena
title: Lean Refactor Arena
sdk: docker
short_description: Two-track multi-objective Lean 4 proof refactoring
Tags: docker, region:us