Skip to content

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

Update formal/README for the new Clean API

23894db
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar