search

easyuc / EasyUC

Experiments with Universal Composability in EasyCrypt
30 stars 1 forks source link

write documentation for UC DSL including interpreter #38

Open alleystoughton opened 11 months ago