Repository navigation

Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/ - #1030

Merged

jotabulacios merged 6 commits into

formal/clean-modelfrom

formal/clean-migration

Nov 3, 2026

Merged

Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/#1030
jotabulacios merged 6 commits into
formal/clean-modelfrom
formal/clean-migration

Commits on Nov 2, 2026
- Bump Clean to f3abad7c (current main, Lean v4.35.0) and adapt the model to its channel API.
  jotabulacios
  committed
  3b04970
- Rename the if/dif lemmas that Lean v4.35.0 deprecates, and drop a skip fallback the linter flags.
  jotabulacios
  committed
  48fd9e7
Commits on Nov 3, 2026