swh:1:snp:285d0862cad82752ceda4e56bdf44014e05fbf49
Tip revision: 46b354bd2f5a1b33efc961edf45ac565562d016e authored by Dominique Larchey-Wendling on 03 April 2020, 12:42:19 UTC
update CeCILL license to 2.1
update CeCILL license to 2.1
Tip revision: 46b354b
File | Mode | Size |
---|---|---|
FOL | ||
FOLP | ||
H10 | ||
H10C | ||
HOU | ||
ILL | ||
L | ||
LAM | ||
MM | ||
MuRec | ||
PCP | ||
Problems | ||
Reductions | ||
Shared | ||
TM | ||
Makefile | -rw-r--r-- | 489 bytes |
_CoqProject | -rw-r--r-- | 9.0 KB |