Skip to main content

Browse the archive

https://github.com/EasyCrypt/easycrypt
22 January 2022, 00:03:31 UTC
Revision d3ef778a5690e68a435d28aff6b87f544b8eadd1 authored by Cameron Low on 01 July 2021, 14:47:48 UTC, committed by Cameron Low on 01 July 2021, 14:47:48 UTC 
Full restructuring of the formalisation. Converted from unbounded games to bounded games and re-proved the previous lemmas.
1 parent 099c7a7
Raw File
Tip revision: d3ef778a5690e68a435d28aff6b87f544b8eadd1 authored by Cameron Low on 01 July 2021, 14:47:48 UTC
Full restructuring of the formalisation. Converted from unbounded games to bounded games and re-proved the previous lemmas.
Tip revision: d3ef778
.dir-locals.el 
((tuareg-mode .
   ((require-final-newline . t)
    (c-basic-offset . 2)
    (tab-width . 2)
    (indent-tabs-mode . nil)
    (eval . (add-hook 'write-contents-functions 'delete-trailing-whitespace)))))
 (easycrypt-mode .
   ((require-final-newline . t)
    (indent-tabs-mode . nil)))
back to top