Skip to main content

Browse the archive

Revision a4e43d1744ee0d4242c42bc17c1d9f08b45f331a authored by Benjamin Gregoire on 31 January 2023, 11:38:24 UTC, committed by Pierre-Yves Strub on 14 February 2023, 10:10:22 UTC 
remove admitted proof in  DJoin
1 parent 88928de
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