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
EvalWithExc.v -rw-r--r-- 2.7 KB
Makefile -rw-r--r-- 892 bytes
UsingSets.v -rw-r--r-- 843 bytes

back to top