Forked from
BESSON Frederic / itauto
Source project has a limited visibility.
-
BESSON Frederic authored
- remove Stdlib.compare - remove dependency with Coqlib
BESSON Frederic authored- remove Stdlib.compare - remove dependency with Coqlib