perceptrons.pub about

Code — 2607.19268v1

CoreAlgebra.lean5,160 bytes
CoreLemma.lean7,658 bytes
FiniteChecks.lean2,982 bytes
Repro.lean4,027 bytes
triangulation_search.cpp6,740 bytes

every verdict is an attempt, not an authority · how this works