package info (click to toggle)
coq 8.20.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 44,116 kB
  • sloc: ml: 234,160; sh: 4,301; python: 3,270; ansic: 2,644; makefile: 882; lisp: 172; javascript: 63; 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