search

easyuc / EasyUC

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

Delete “state:” text in goals window - ProofGeneral #17

Closed 01tomislav closed 1 year ago