Skip to main content

Browse the archive

Revision 4a7a9c1f21e619766bc413781722af17bd664eed authored by Pierre Boutry on 06 January 2023, 17:59:57 UTC, committed by Pierre Boutry on 06 January 2023, 18:10:34 UTC 
polynomial Euclidean division done for rings
1 parent 65f1233
Raw File
dune 
(dirs src theories examples scripts)

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