https://github.com/coq-ext-lib/coq-ext-lib
History
Tip revision: ba30d96d2839081f1d36a82fb0b6be6165d59610 authored by Gregory Malecha on 22 February 2013, 04:46:07 UTC
generalizing logic to support substructural logic.
Tip revision: ba30d96
File Mode Size
examples
theories
tools
.gitignore -rw-r--r-- 74 bytes
Makefile -rw-r--r-- 381 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