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 |
