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
Tip revision: 1b16f8461625dcfc72bcac1cfb9366679f3dd5e8 authored by Gregory Malecha on 19 September 2014, 17:25:38 UTC
lemmas about equiv_hlist.
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 |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...