issues
search
easyuc
/
EasyUC
Experiments with Universal Composability in EasyCrypt
31
stars
1
forks
source link
allow for specifying rewriting hints when evaluating functions in UcFormEval
#25
Closed
01tomislav
closed
1 year ago