https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: a214a56a8d138704b1bb1f4390e61554b71b58e7 authored by Pierre-Yves Strub on 11 September 2023, 14:24:03 UTC
opsem: generate spec lemmas
Tip revision: a214a56
dune
(install
  (section (site (easycrypt theories)))
  (files (glob_files_rec *.{ec,eca})))
back to top