https://github.com/coq-ext-lib/coq-ext-lib
Revision 1b16f8461625dcfc72bcac1cfb9366679f3dd5e8 authored by Gregory Malecha on 19 September 2014, 17:25:38 UTC, committed by Gregory Malecha on 19 September 2014, 17:25:38 UTC
1 parent 28b4161
History
Tip revision: 1b16f8461625dcfc72bcac1cfb9366679f3dd5e8 authored by Gregory Malecha on 19 September 2014, 17:25:38 UTC
lemmas about equiv_hlist.
Tip revision: 1b16f84
File Mode Size
examples
scratch
theories
tools
.gitignore -rw-r--r-- 92 bytes
LICENSE -rw-r--r-- 1.5 KB
Makefile -rw-r--r-- 486 bytes
README.md -rw-r--r-- 1.3 KB

README.md

back to top