feat(verification): re-home the Lean engineering proofs to Idris2; ledger rows now proven - #1031

feat(verification): re-home the Lean engineering proofs to Idris2; ledger rows now proven#1031

hyperpolymath merged 4 commits into

claude/eager-wright-zwwbe2-proof-claimshyperpolymath/hypatia:claude/eager-wright-zwwbe2-proof-claimsfrom

claude/eager-wright-zwwbe2-idris-rehomehyperpolymath/hypatia:claude/eager-wright-zwwbe2-idris-rehomeCopy head branch name to clipboard