Skip to content

Compat with Lean 4.9 too #31

Compat with Lean 4.9 too

Compat with Lean 4.9 too #31

Triggered via push August 9, 2024 09:34
Status Success
Total duration 14s
Artifacts

formalities.yml

on: push
Fit to window
Zoom out
Zoom in