Skip to main content

Browse the archive

Revision 957afc7e19f5f1ed0c110935eb46a2ae8eb04473 authored by Dominique Unruh on 14 May 2023, 15:20:56 UTC, committed by Pierre-Yves Strub on 17 May 2023, 04:25:30 UTC 
New Subtype theory. Updated stdlib to match.
1 parent ee26cc5
Raw File
dune 
(dirs src theories examples scripts)

(install
  (section (site (easycrypt commands)))
  (files (scripts/testing/runtest as runtest)))

(install
  (section (bin))
  (files (scripts/testing/bin-ec-runtest as ec-runtest)))
back to top