https://github.com/magaud/PG3q
History
Tip revision: d34bc2a8b4f42610952a65840b724a69f5a926a1 authored by magaud on 11 July 2022, 10:17:34 UTC
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

README.md

back to top