-
BESSON Frederic authored- remove Stdlib.compare - remove dependency with Coqlib
BESSON Frederic authored- remove Stdlib.compare - remove dependency with Coqlib
Loading
- remove Stdlib.compare - remove dependency with Coqlib
- remove Stdlib.compare - remove dependency with Coqlib