Consistent apis for creating proofs
yoohaemin opened this issue · comments
Consistent apis across different kinds of reification targets
implementation function should be given a specific datatype, and return a general datatype
Need a general way to handle errors