Skip to content

Generalize the Result type and implement a loop invariant inferencer#599

Draft
sonmarcho wants to merge 48 commits intomainfrom
son/lean
Draft

Generalize the `Result` type and implement a loop invariant inferencer#599
sonmarcho wants to merge 48 commits intomainfrom
son/lean

Commits

Commits on Aug 22, 2025