All projects
Standalone Lean project
stage2-judge
This repository hosts the SAIR Mathematics Distillation Challenge: Equational Theories Stage 2, providing Lean 4 problem sets, judging tools, and submission harnesses for generating machine-checkable proof certificates.
Repository catalog
Exact declarations are not indexed yet
Therefore has checked the project identity, repository, toolchain, and license metadata shown here. Proof-level source will appear only after a pinned ingestion records declarations, source ranges, and revisions.
Inspect the repository