https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: ec65ae2209e52184621977f1c23e72e2c35fabd9 authored by Benjamin Gregoire on 30 January 2024, 10:16:11 UTC
.
Tip revision: ec65ae2
dune
(install
  (section (site (easycrypt theories)))
  (files (glob_files_rec *.{ec,eca})))

back to top