decrel icon indicating copy to clipboard operation
decrel copied to clipboard
verified publisher icon yoohaemin

Consistent apis for creating proofs

Open yoohaemin opened this issue 3 years ago • 2 comments

Consistent apis across different kinds of reification targets

yoohaemin avatar Dec 03 '22 20:12 yoohaemin

implementation function should be given a specific datatype, and return a general datatype

yoohaemin avatar Apr 18 '23 07:04 yoohaemin

Need a general way to handle errors

yoohaemin avatar Apr 27 '23 05:04 yoohaemin