Failed to fetch fork details. Try again later.
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