Files
-rw-r--r-- | 383983 | iurt | iurt | RecTutorial.pdf |
-rw-r--r-- | 1704685 | iurt | iurt | Reference-Manual.pdf |
-rw-r--r-- | 198284 | iurt | iurt | Tutorial.pdf |
-rw-r--r-- | 5671130 | iurt | iurt | coq-8.7.1.tar.gz |
-rw-r--r-- | 7269 | iurt | iurt | coq.spec |
-rw-r--r-- | 383983 | iurt | iurt | RecTutorial.pdf |
-rw-r--r-- | 1704685 | iurt | iurt | Reference-Manual.pdf |
-rw-r--r-- | 198284 | iurt | iurt | Tutorial.pdf |
-rw-r--r-- | 5671130 | iurt | iurt | coq-8.7.1.tar.gz |
-rw-r--r-- | 7269 | iurt | iurt | coq.spec |