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: Sets

d .. (parent)
- - rw-r--r-- 4,796 Classical_sets.v
- - rw-r--r-- 5,122 Constructive_sets.v
- - rw-r--r-- 4,396 Cpo.v
- - rw-r--r-- 4,176 Ensembles.v
- - rw-r--r-- 3,188 Finite_sets.v
- - rw-r--r-- 8,884 Finite_sets_facts.v
- - rw-r--r-- 7,523 Image.v
- - rw-r--r-- 9,459 Infinite_sets.v
- - rw-r--r-- 5,809 Integers.v
- - rw-r--r-- 6,043 Multiset.v
- - rw-r--r-- 3,825 Partial_Order.v
- - rw-r--r-- 3,119 Permut.v
- - rw-r--r-- 7,125 Powerset.v
- - rw-r--r-- 12,084 Powerset_Classical_facts.v
- - rw-r--r-- 11,621 Powerset_facts.v
- - rw-r--r-- 3,064 Relations_1.v
- - rw-r--r-- 4,326 Relations_1_facts.v
- - rw-r--r-- 2,659 Relations_2.v
- - rw-r--r-- 5,781 Relations_2_facts.v
- - rw-r--r-- 2,889 Relations_3.v
- - rw-r--r-- 6,863 Relations_3_facts.v
- - rw-r--r-- 5,840 Uniset.v