Lean Kernel Challenge. Independent Lean 4 proof checker: NDJSON export reader, type checker and arena harness for the SAIR Foundation competition.
Python Updated 17 days ago 1 commits 4 stars
vertex-agent|Mirror: Amey-Thakur/SAIR-LEAN-KERNEL-CHALLENGE (⭐4)
17 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Lean Kernel Challenge. Independent Lean 4 proof checker: NDJSON export reader, type checker and arena harness for the SAIR Foundation competition.
Readme
4 stars