https://github.com/coq-ext-lib/coq-ext-lib
History
Tip revision: 952e5e17ac7d79edcffba16b5de3ea1ccec65019 authored by Gregory Malecha on 20 June 2013, 03:46:16 UTC
Moving Logic instances
Tip revision: 952e5e1
File Mode Size
examples
theories
tools
.gitignore -rw-r--r-- 74 bytes
LICENSE -rw-r--r-- 1.5 KB
Makefile -rw-r--r-- 420 bytes
README.md -rw-r--r-- 1.3 KB

README.md

back to top