| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 07925-ppedrot-clean-transp-state.sh | 411 | logplain |
| -rw-r--r-- | 08705-ejgallego-vernac+remove_empty_hooks.sh | 647 | logplain |
| -rw-r--r-- | 08850-poly-local-univs.sh | 309 | logplain |
| -rw-r--r-- | 08889-mattam-program-obl-subst.sh | 217 | logplain |
| -rw-r--r-- | 08902-ejgallego-ltac+use_atts_in_ast.sh | 518 | logplain |
| -rw-r--r-- | 08914-ejgallego-lib+better_boot_coqproject.sh | 211 | logplain |
| -rw-r--r-- | 08933-solve-remaining-evars-initial-arg.sh | 251 | logplain |
| -rw-r--r-- | 08985-ejgallego-build+pack_gramlib.sh | 178 | logplain |
| -rw-r--r-- | 08998-ejgallego-legacy_proof_eng_clean.sh | 204 | logplain |
| -rw-r--r-- | 09003-ejgallego-vernac+move_extend_ast.sh | 188 | logplain |
| -rw-r--r-- | 09051-ppedrot-camlp5-safe-api-strikes-back.sh | 314 | logplain |
| -rw-r--r-- | 09065-ejgallego-gramlib+no_ploc.sh | 175 | logplain |
| -rw-r--r-- | 09102-ejgallego-ltac+remove_aliases.sh | 183 | logplain |
| -rw-r--r-- | README.md | 1829 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |