https://github.com/nktkt/leanpp

Kernel-safe upper-compatible proof-engineering layer over Lean 4. spec def, concept, refines, obligations, proofplan, trust ledger.

formal-verification lean lean4 proof-assistant proof-engineering theorem-proving verified-software-engineering

Last synced: 29 Apr 2026