phanerozoic
/

threshold-computers

threshold-logic

computer-architecture

recurrent-neural-network

in-memory-computing

self-replication

Model card Files Files and versions

threshold-computers / rocq /HostIP.v

Commit History

Oct 7

00:47
Prove the stored host's construction, copies, period and network in Rocq for every word width, give each unit its own window cell, and revise Section 8 with the new records

phanerozoic

0eb76eb