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

docs: Note that Lean goals read as named hypotheses.

0e994eb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar