| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00669-maximedenes-ssr-merge.sh | 178 | logplain |
| -rw-r--r-- | 06405-maximedenes-rm-local-polymorphic-flag.sh | 213 | logplain |
| -rw-r--r-- | 06454-ejgallego-evar+strict_to_constr.sh | 301 | logplain |
| -rw-r--r-- | 06482-ppedrot-check-poly-effects.sh | 188 | logplain |
| -rw-r--r-- | 06493-gares-API-remove-big-file.sh | 386 | logplain |
| -rw-r--r-- | 06511-ejgallego-econstr+more_fix.sh | 287 | logplain |
| -rw-r--r-- | 06535-fix-push-rel-to-named.sh | 188 | logplain |
| -rw-r--r-- | 06676-gares-proofview-goals-come-with-a-state.sh | 283 | logplain |
| -rw-r--r-- | 06686-ccnv-no-proj.sh | 184 | logplain |
| -rw-r--r-- | 06745-ejgallego-located+vernac.sh | 480 | logplain |
| -rw-r--r-- | 06775-univ-cumul-weak.sh | 171 | logplain |
| -rw-r--r-- | 06831-ejgallego-located+vernac_2.sh | 493 | logplain |
| -rw-r--r-- | 06837-ejgallego-located+libnames.sh | 504 | logplain |
| -rw-r--r-- | 06869-ejgallego-ssr+correct_packing.sh | 398 | logplain |
| -rw-r--r-- | 06923-ppedrot-export-options.sh | 276 | logplain |
| -rw-r--r-- | README.md | 793 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |