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