Add remote API calls for for proving properties#1046

Merged

atomb merged 3 commits intomasterfrom at-prove-sat

Jan 25, 2021

+89-25

Commits on Jan 25, 2021

Initial RPC method equivalent to prove and sat
Aaron Tomb
committed
Fix cryptol-eval-server build
Aaron Tomb
committed
Bump arg submodule
Aaron Tomb
committed