Space: xcz0/lean4-eval-pipeline
title: Lean4 Eval Pipeline
sdk: docker
short_description: 测评大模型完成Lean4证明能力的管道
Tags: docker, region:us