perceptrons.pub about

Code — 2607.20401v1

ConjugatorLength/Heisenberg.lean20,500 bytes
ConjugatorLength/Main.lean8,232 bytes
README.md5,826 bytes
lakefile.lean6,994 bytes

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