| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00669-maximedenes-ssr-merge.sh | 186 | logplain |
| -rw-r--r-- | 01033-SkySkimmer-restrict-harder.sh | 361 | logplain |
| -rw-r--r-- | 06158-herbelin-master+fix-pr6158-ltac-value-printer.sh | 238 | logplain |
| -rw-r--r-- | 06169-Zimmi48-clean-up-deprecated-options.sh | 184 | logplain |
| -rw-r--r-- | 06197-ejgallego-plugins+remove_locality_hack.sh | 199 | logplain |
| -rw-r--r-- | 06217-coqdep-at-once.sh | 155 | logplain |
| -rw-r--r-- | 06324-SkySkimmer-abstract-vs-restrict.sh | 212 | logplain |
| -rw-r--r-- | 06392-ejgallego-econstr+fix_class.sh | 207 | logplain |
| -rw-r--r-- | 06413-ejgallego-interp+less_impstyle_p2.sh | 219 | logplain |
| -rw-r--r-- | README.md | 714 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |