Todos SCP paper code - Githubissues

jaccokrijnen / plutus-cert

0 stars 2 forks source link

Todos SCP paper code #27

Closed jaccokrijnen closed 11 months ago

jaccokrijnen commented 1 year ago

[ ] Rename all deciders to dec_
[ ] Rename Cong to compat
[ ] Rename decide_Term to decide_dce_Termt?