Skip to content
LeanAuto CI

Add an experimental backend that uses Lean to discharge goals #8

Sign in to view logs

Add an experimental backend that uses Lean to discharge goals

Add an experimental backend that uses Lean to discharge goals #8

Run time

Learn about OS pricing on GitHub Actions
Job Run time
LeanAuto CI
5m 38s
5m 38s