package info
(click to toggle)
coq 8.0pl2-2
- links: PTS
- area: main
- in suites: sarge
- size: 14,228 kB
- ctags: 17,685
- sloc: ml: 97,070; makefile: 1,255; sh: 738; lisp: 456; awk: 15
Folder: ring
 |
.. (parent) | |||
 |
- | rw-r--r-- | 2,516 | ArithRing.v |
|
- | rw-r--r-- | 1,438 | NArithRing.v |
|
- | rw-r--r-- | 2,584 | Quote.v |
|
- | rw-r--r-- | 1,452 | Ring.v |
|
- | rw-r--r-- | 20,552 | Ring_abstract.v |
|
- | rw-r--r-- | 27,406 | Ring_normalize.v |
|
- | rw-r--r-- | 9,827 | Ring_theory.v |
|
- | rw-r--r-- | 692 | Setoid_ring.v |
|
- | rw-r--r-- | 40,393 | Setoid_ring_normalize.v |
|
- | rw-r--r-- | 10,613 | Setoid_ring_theory.v |
|
- | rw-r--r-- | 1,329 | ZArithRing.v |