File | Mode | Size |
---|---|---|
src | ||
test | ||
theories | ||
.gitignore | -rw-r--r-- | 88 bytes |
COPYING | -rw-r--r-- | 484 bytes |
Makefile | -rw-r--r-- | 244 bytes |
README.md | -rw-r--r-- | 3.5 KB |
_CoqProject | -rw-r--r-- | 302 bytes |
File | Mode | Size |
---|---|---|
src | ||
test | ||
theories | ||
.gitignore | -rw-r--r-- | 88 bytes |
COPYING | -rw-r--r-- | 484 bytes |
Makefile | -rw-r--r-- | 244 bytes |
README.md | -rw-r--r-- | 3.5 KB |
_CoqProject | -rw-r--r-- | 302 bytes |