Skip to main content

Browse the archive

Revision e993546f3e9b9fec12e94a3ec1ea5dc07a390de5 authored by Antoine Séré on 30 June 2022, 16:23:51 UTC, committed by Antoine Séré on 30 June 2022, 16:23:51 UTC 
RingModule lemmas are done
1 parent f705062
Raw File
dune 
(dirs src theories examples scripts)

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