| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Nijmegen_QArithSternBrocot_Zaux.v | 62897 | logplain |
| -rw-r--r-- | arg_filter_1.v | 139 | logplain |
| -rw-r--r-- | classify_set_proof_mode_9093.v | 160 | logplain |
| -rw-r--r-- | delayed_restrict_univs_9093.v | 343 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |