threshold-computers / src /ring_run.c

Commit History

11 days ago

  1. Replace the two-bank machine with a K-bank ring, prove its reproduction in Rocq, and revise the paper

    a9ea017