Hugging Face's logo

phanerozoic
/
threshold-computers

threshold-logic
neuromorphic
computer-architecture
recurrent-neural-network
in-memory-computing
self-replication
loihi
truenorth
akida
Model card Files
xet
 Community
threshold-computers / rocq /Lower.v

Commit History

  1. Put the organism first and move serialization, sizes and the Rocq map to appendices

    phanerozoic
    5ee1fb5

  2. Prove Lemma 3.3 in Rocq, shorten the abstract, and set the paper in the format of the Stellarocq paper

    phanerozoic
    fccf6d2

  1. Prove the paper's counts, levelization, depth bounds, recipe lengths and Section 6 in Rocq, and revise the paper

    phanerozoic
    8397e00