Skip to content
#

lean-kernel

Star

Here is 1 public repository matching this topic...

SAIR-LEAN-KERNEL-CHALLENGE

Amey-Thakur / SAIR-LEAN-KERNEL-CHALLENGE

Sponsor
Star 4

Lean Kernel Challenge. Independent Lean 4 proof checker: NDJSON export reader, type checker and arena harness for the SAIR Foundation competition.

competition dependent-types kernel mathematics type-theory lean type-checking formal-verification interactive-theorem-proving theorem-prover proof-checker lean4 ameythakur amey proof-verification sair ameyarc amey-thakur sair-foundation lean-kernel
  • Updated Aug 31, 2026
  • Python

Add this topic to your repo

To associate your repository with the lean-kernel topic, visit your repo's landing page and select "manage topics."

Learn more