Skip to content

verify: State each Lean goal as named hypotheses, with a bridge the kernel checks - #59

Merged
SwayamInSync merged 99 commits into
mainfrom
fix/lean-readable
Oct 22, 2026
Merged

verify: State each Lean goal as named hypotheses, with a bridge the kernel checks#59
SwayamInSync merged 99 commits into
mainfrom
fix/lean-readable

Commits

  1. Commits on Oct 22, 2026