Skip to content
LeanAuto CI

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
LeanAuto CI
4m 54s
4m 54s