Skip to content

Upgrade to Lean v4.8.0-rc1 and latest mathlib #54

Upgrade to Lean v4.8.0-rc1 and latest mathlib

Upgrade to Lean v4.8.0-rc1 and latest mathlib #54

Triggered via pull request May 22, 2024 11:55
@jtristanjtristan
synchronize #11
Upgrade
Status Success
Total duration 50m 13s
Artifacts

test.yml

on: pull_request
Fit to window
Zoom out
Zoom in