Skip to content
LeanAuto CI

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

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

Run time

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