| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 07925-ppedrot-clean-transp-state.sh | 411 | 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-- | 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-- | README.md | 1829 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |