https://github.com/magaud/PG3q
Tip revision: d34bc2a8b4f42610952a65840b724a69f5a926a1 authored by magaud on 11 July 2022, 10:17:34 UTC
adding AUTHOR and LICENCE files
adding AUTHOR and LICENCE files
Tip revision: d34bc2a
File | Mode | Size |
---|---|---|
generic | ||
pg32 | ||
pg33 | ||
AUTHORS | -rw-r--r-- | 35 bytes |
CoqMakefile | -rw-r--r-- | 27.9 KB |
LICENCE | -rw-r--r-- | 7.5 KB |
README.md | -rw-r--r-- | 1.6 KB |
_CoqProject | -rw-r--r-- | 2.3 KB |