https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: 06e60602d48e902d7a7a56f7daea6e38040a4c2f authored by Pierre-Yves Strub on 07 November 2023, 07:36:17 UTC
nix-shell: do not pin provers
Tip revision: 06e6060
dune
(install
  (section (site (easycrypt theories)))
  (files (glob_files_rec *.{ec,eca})))
back to top