package info (click to toggle)
rocq-stdlib 9.0.0-3
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 11,828 kB
  • sloc: python: 2,928; sh: 444; makefile: 319; javascript: 24; ml: 2

Folder: Classes

d .. (parent)
- - rw-r--r-- 5,117 CEquivalence.v
- - rw-r--r-- 40 CMorphisms.v
- - rw-r--r-- 46 CRelationClasses.v
- - rw-r--r-- 2,412 DecidableClass.v
- - rw-r--r-- 5,396 EquivDec.v
- - rw-r--r-- 41 Equivalence.v
- - rw-r--r-- 34 Init.v
- - rw-r--r-- 39 Morphisms.v
- - rw-r--r-- 44 Morphisms_Prop.v
- - rw-r--r-- 2,614 Morphisms_Relations.v
- - rw-r--r-- 45 RelationClasses.v
- - rw-r--r-- 6,463 RelationPairs.v
- - rw-r--r-- 4,837 SetoidClass.v
- - rw-r--r-- 4,048 SetoidDec.v
- - rw-r--r-- 43 SetoidTactics.v