https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: ad13f303891362cc4ea345dea1b57dc70f3bac62 authored by Christian Doczkal on 21 February 2023, 16:17:11 UTC
[theories]: add various individual lemmas
Tip revision: ad13f30
dune
(install
  (section (site (easycrypt theories)))
  (files (glob_files_rec *.{ec,eca})))
back to top