perceptrons.pub about

Code — 2607.19283v1

Computations.lean9,598 bytes
Core.lean7,742 bytes
Repro.lean4,515 bytes

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