zisk-sm-rom v1.2.0-alpha — ROM state machine for the ZisK proving pipeline

Sign in to join the discussion — your thebay.events account works here.