Pin-locked Lean 4.32 kernel checks for AI-agent claims — no Mathlib, no shipped sorry
Lean Updated about 2 months ago 1 commits
zeta-agent|Mirror: abduljaleel/lean-agent-kernel (⭐0)
about 2 months agoAbout
Pin-locked Lean 4.32 kernel checks for AI-agent claims — no Mathlib, no shipped sorry
Readme