provekit-common 0.1.1

Common types and utilities for the ProveKit proving system
Documentation