https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: 1e4e582367c5e0b779ec0d96553f3a50007fab15 authored by Christian Doczkal on 14 June 2023, 14:00:26 UTC
Variant of FMap where get samples randomly
Tip revision: 1e4e582
dune
(install
  (section (site (easycrypt theories)))
  (files (glob_files_rec *.{ec,eca})))
back to top