proto/quivr/models/proof.pbenum library