Skip to content

Update to Lean v4.20.1 and build using system toolchain#53

Merged
paulcadman merged 6 commits into
funexists:mainfrom
paulcadman:lean-update-v4.20
Jun 28, 2025
Merged

Update to Lean v4.20.1 and build using system toolchain#53
paulcadman merged 6 commits into
funexists:mainfrom
paulcadman:lean-update-v4.20

Remove libc++abi-dev libc++-dev linux dependencies in CI

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

Annotations

2 warnings

The logs for this run have expired and are no longer available.