perceptrons.pub about

Code — 2607.19337v1

Core.lean9,853 bytes
Repro.lean4,183 bytes

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