Skip to main content

Browse the archive

Revision 49aec58ea63a64adcf5fbabcc14c6739f337b206 authored by Christian Doczkal on 10 December 2021, 15:21:46 UTC, committed by Pierre-Yves Strub on 10 December 2021, 17:02:37 UTC 
lemmas on FSet, List, and DList
1 parent 7df1de5
Raw File
dune 
(dirs src theories examples scripts)

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