https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: 0afb9713c2be31c8c32b5221bd263996be92dc78 authored by François Dupressoir on 06 July 2021, 09:30:36 UTC
Clean some SMT calls in PRP-PRF
Tip revision: 0afb971
dune
(install
  (section (site (easycrypt theories)))
  (files (glob_files_rec *.{ec,eca})))
back to top