| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 09710-ppedrot-compact-case-repr.sh | 709 | logplain |
| -rw-r--r-- | 13299-jashug-preserve-universes-notation.sh | 200 | logplain |
| -rw-r--r-- | 13321-ppedrot-mv-evaluable-global-ref-out-of-kernel.sh | 103 | logplain |
| -rw-r--r-- | 13512-herbelin-master+fix13413-apply-on-intro-pattern-fresh-names.sh | 207 | logplain |
| -rw-r--r-- | 13537-ppedrot-lazy-subst-kernel.sh | 158 | logplain |
| -rw-r--r-- | 13725-SkySkimmer-hint-rw-local.sh | 82 | logplain |
| -rw-r--r-- | README.md | 1702 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |