proofman-util 1.2.0-alpha

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