https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: 7d48561a5e49429f02d1bfe35bc7c32be85096ac authored by Pierre-Yves Strub on 05 April 2024, 11:33:24 UTC
Internal: refactoring of matching algorithm
Tip revision: 7d48561
dune
(install
  (section (site (easycrypt theories)))
  (files (glob_files_rec *.{ec,eca})))

back to top