Skip to content
LeanAuto CI

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

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 #5

Run time

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