feat: Rounding Proof: Galois Connection [3/?] #381
bolluci.yml
on: pull_request
core library (no mathlib)
1m 38s
Annotations
2 errors
|
core library (no mathlib)
Process completed with exit code 1.
|
|
core library (no mathlib)
lake build failed
|