phanerozoic
/

threshold-computers

threshold-logic

computer-architecture

recurrent-neural-network

in-memory-computing

self-replication

Model card Files Files and versions

threshold-computers / rocq /ExtrNat.v

Commit History

Oct 7

23:31
Prove the paper's counts, levelization, depth bounds, recipe lengths and Section 6 in Rocq, and revise the paper

phanerozoic

8397e00