Skip to content

Add support for Lean 4 #5

Add support for Lean 4

Add support for Lean 4 #5

Triggered via push October 11, 2024 21:22
Status Success
Total duration 1m 18s
Artifacts
Fit to window
Zoom out
Zoom in