phanerozoic
/

threshold-computers

threshold-logic

computer-architecture

recurrent-neural-network

in-memory-computing

self-replication

Model card Files Files and versions

threshold-computers / rocq /Device.v

Commit History

Oct 8 11 days ago

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

phanerozoic

5ee1fb5

Oct 6 13 days ago

17:52
Replace the two-bank machine with a K-bank ring, prove its reproduction in Rocq, and revise the paper

phanerozoic

a9ea017