Skip to content
Lean Action CI

make simps lemmas instead of theorems #15

Sign in to view logs

make simps lemmas instead of theorems

make simps lemmas instead of theorems #15

Triggered via push June 15, 2026 09:47
@RemyDegenneRemyDegenne
pushed 7202459
main
Status Success
Total duration 47s
Artifacts –

lean_action_ci.yml

on: push
build
44s
build
Fit to window
Zoom out
Zoom in