proofman-util 1.3.1-alpha

Low-level utilities (device buffers, timers, helpers) for the PIL2 proofman framework
Documentation