package info (click to toggle)
coq-doc 8.20.0-2
  • links: PTS, VCS
  • area: non-free
  • in suites: forky, sid, trixie
  • size: 46,708 kB
  • sloc: ml: 234,429; sh: 4,686; python: 3,359; ansic: 2,644; makefile: 842; lisp: 172; javascript: 87; xml: 24; sed: 2

Folder: Classes

d .. (parent)
- - rw-r--r-- 5,068 CEquivalence.v
- - rw-r--r-- 23,883 CMorphisms.v
- - rw-r--r-- 13,592 CRelationClasses.v
- - rw-r--r-- 2,412 DecidableClass.v
- - rw-r--r-- 4,836 EquivDec.v
- - rw-r--r-- 5,077 Equivalence.v
- - rw-r--r-- 1,640 Init.v
- - rw-r--r-- 26,118 Morphisms.v
- - rw-r--r-- 3,554 Morphisms_Prop.v
- - rw-r--r-- 2,586 Morphisms_Relations.v
- - rw-r--r-- 18,671 RelationClasses.v
- - rw-r--r-- 6,488 RelationPairs.v
- - rw-r--r-- 4,816 SetoidClass.v
- - rw-r--r-- 4,003 SetoidDec.v
- - rw-r--r-- 6,515 SetoidTactics.v