package info
(click to toggle)
Folder: simple-tests
 |
.. (parent) | |||
 |
- | rw-r--r-- | 10 | .gitignore |
|
- | rw-r--r-- | 479 | Makefile |
|
- | rw-r--r-- | 697 | README.md |
|
- | rw-r--r-- | 510 | omit_test.v |
|
- | rw-r--r-- | 38,311 | test-coq-par-job-needs-compilation-quick.el |
|
- | rw-r--r-- | 601 | test-coqtop-unavailable.el |
|
- | rw-r--r-- | 6,084 | test-omit-proofs.el |
|
- | rw-r--r-- | 2,810 | test-prelude-correct.el |
|
- | rw-r--r-- | 674 | test-qrhl.el |