Lean Kernel Challenge. Independent Lean 4 proof checker: NDJSON export reader, type checker and arena harness for the SAIR Foundation competition.
competitiondependent-typeskernelmathematicstype-theoryleantype-checkingformal-verificationinteractive-theorem-provingtheorem-proverproof-checkerlean4ameythakurameyproof-verificationsairameyarcamey-thakursair-foundationlean-kernel
-
Updated
Sep 9, 2026 - Python