Skip to content
FpRealTheory (with Mathlib)

feat: Rounding Proof: Galois Connection [3/?] #74

Sign in to view logs

feat: Rounding Proof: Galois Connection [3/?]

feat: Rounding Proof: Galois Connection [3/?] #74

Triggered via pull request March 4, 2026 14:17
@bollubollu
synchronize #49
proof-round-3-of-x
Status Failure
Total duration 2m 57s
Artifacts –

fp-real-theory.yml

on: pull_request
FpRealTheory (mathlib)
2m 52s
FpRealTheory (mathlib)
Fit to window
Zoom out
Zoom in

Annotations

2 errors
FpRealTheory (mathlib)
Process completed with exit code 1.
FpRealTheory (mathlib)
lake build failed