package info (click to toggle)
coq 8.16.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 40,596 kB
  • sloc: ml: 219,376; sh: 3,545; python: 3,231; ansic: 2,529; makefile: 767; lisp: 279; javascript: 63; xml: 24; sed: 2

Folder: Sets

d .. (parent)
- - rw-r--r-- 4,746 Classical_sets.v
- - rw-r--r-- 5,110 Constructive_sets.v
- - rw-r--r-- 4,360 Cpo.v
- - rw-r--r-- 4,176 Ensembles.v
- - rw-r--r-- 3,136 Finite_sets.v
- - rw-r--r-- 12,226 Finite_sets_facts.v
- - rw-r--r-- 7,403 Image.v
- - rw-r--r-- 9,070 Infinite_sets.v
- - rw-r--r-- 5,522 Integers.v
- - rw-r--r-- 6,112 Multiset.v
- - rw-r--r-- 3,801 Partial_Order.v
- - rw-r--r-- 3,119 Permut.v
- - rw-r--r-- 7,065 Powerset.v
- - rw-r--r-- 11,705 Powerset_Classical_facts.v
- - rw-r--r-- 11,483 Powerset_facts.v
- - rw-r--r-- 3,064 Relations_1.v
- - rw-r--r-- 4,259 Relations_1_facts.v
- - rw-r--r-- 2,647 Relations_2.v
- - rw-r--r-- 5,745 Relations_2_facts.v
- - rw-r--r-- 2,866 Relations_3.v
- - rw-r--r-- 6,803 Relations_3_facts.v
- - rw-r--r-- 5,828 Uniset.v