https://github.com/coq-ext-lib/coq-ext-lib
History
Tip revision: 80e3141f4d7b73a797690b84aa7d164cc69e441c authored by gregory malecha on 10 January 2013, 19:47:59 UTC
adding notation for rel_dec.
Tip revision: 80e3141
File Mode Size
examples
theories
tools
.gitignore -rw-r--r-- 74 bytes
Makefile -rw-r--r-- 372 bytes
README.md -rw-r--r-- 1.3 KB
notes.org -rw-r--r-- 465 bytes
notes.txt -rw-r--r-- 97 bytes

README.md

back to top