#

lean-kernel

Here are 3 public repositories matching this topic...

SAIR-LEAN-KERNEL-CHALLENGE

Amey-Thakur / SAIR-LEAN-KERNEL-CHALLENGE

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

Updated Oct 25, 2026
Lean

DmitryKorolev / kefir

Independent proof checker for Lean 4

lean formal-verification proof-checking proof-checker lean4 lean-kernel

Updated Oct 28, 2026
Rust

jasisz / pestka

A Lean 4 kernel written in Aver: type checks environments exported by lean4export

dependent-types theorem-proving type-theory lean type-checker aver proof-checker lean4 lean-kernel

Updated Oct 29, 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."