https://github.com/2xs/dec
History
Tip revision: 79290ae2f92d437fe365a1b366a30e1eb2b83d19 authored by Paolo Torrini on 28 September 2018, 13:03:01 UTC
update to README
Tip revision: 79290ae
File Mode Size
doc
src
.gitignore -rw-r--r-- 28 bytes
LICENSE -rw-r--r-- 21.3 KB
README.md -rw-r--r-- 2.8 KB
_CoqProject -rw-r--r-- 19 bytes
make2file -rwxr-xr-x 71 bytes
makedoc -rwxr-xr-x 525 bytes

README.md

back to top