https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: ac3cc65da89ee48f1c4ea07f14d0f0de700f3cb2 authored by Lionel Blatter on 05 April 2024, 13:22:05 UTC
Add zify tactic
Tip revision: ac3cc65
dune
(install
  (section (site (easycrypt theories)))
  (files (glob_files_rec *.{ec,eca})))

back to top