Skip to content
Lean Action CI

Add get/set lemmas #40

Sign in to view logs

Add get/set lemmas

Add get/set lemmas #40

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
35s
35s