Skip to content

Bump Lean from 4.3.0 to 4.22.0#38

Open
izkluxcvy wants to merge 3 commits into
hrmacbeth:mainfrom
izkluxcvy:main
Open

Bump Lean from 4.3.0 to 4.22.0#38
izkluxcvy wants to merge 3 commits into
hrmacbeth:mainfrom
izkluxcvy:main

(3) fix warnings

b668052
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs