Skip to content

fix: port to Lean v4.33.1 (toolchain, manifest, tactic adaptations) - #3

Merged
jsboige merged 1 commit into
mainfrom
port/17522-toolchain-4-33-1
Oct 4, 2026
Merged

fix: port to Lean v4.33.1 (toolchain, manifest, tactic adaptations)#3
jsboige merged 1 commit into
mainfrom
port/17522-toolchain-4-33-1

fix: port to Lean v4.33.1 (toolchain, manifest, tactic adaptations)

9365082
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Check mk_all executed
succeeded Oct 4, 2026 in 2m 27s