| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 13321-ppedrot-mv-evaluable-global-ref-out-of-kernel.sh | 103 | logplain |
| -rw-r--r-- | 13537-ppedrot-lazy-subst-kernel.sh | 158 | logplain |
| -rw-r--r-- | README.md | 1702 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |