Skip to content
Compile blueprint

Prove some sorrys, update Mathlib (#38) #193

Sign in to view logs

Prove some sorrys, update Mathlib (#38)

Prove some sorrys, update Mathlib (#38) #193

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build project
6h 0m 16s
6h 0m 16s