phanerozoic
/

threshold-computers

threshold-logic

computer-architecture

recurrent-neural-network

in-memory-computing

self-replication

Model card Files Files and versions

threshold-computers / rocq /HostCount.v

Commit History

Oct 8

03:34
Put the organism first and move serialization, sizes and the Rocq map to appendices

phanerozoic

5ee1fb5

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