https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: 46d694843586b1800ec951ff08dbc8e182889f76 authored by Pierre-Yves Strub on 28 August 2023, 14:00:06 UTC
Operators body can now be formulas
Tip revision: 46d6948
dune
(install
  (section (site (easycrypt theories)))
  (files (glob_files_rec *.{ec,eca})))
back to top