package info (click to toggle)
coq-stdpp 1.12.0-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 1,724 kB
  • sloc: makefile: 53; sh: 35; sed: 1

Folder: stdpp

d .. (parent)
- - rw-r--r-- 77,982 base.v
- - rw-r--r-- 4,776 binders.v
- - rw-r--r-- 2,470 boolset.v
- - rw-r--r-- 7,424 coGset.v
- - rw-r--r-- 20,353 coPset.v
- - rw-r--r-- 14,655 countable.v
- - rw-r--r-- 11,993 decidable.v
- - rw-r--r-- 76 dune
- - rw-r--r-- 4,319 fin.v
- - rw-r--r-- 19,772 fin_map_dom.v
- - rw-r--r-- 209,525 fin_maps.v
- - rw-r--r-- 33,784 fin_sets.v
- - rw-r--r-- 18,337 finite.v
- - rw-r--r-- 1,307 functions.v
- - rw-r--r-- 37,638 gmap.v
- - rw-r--r-- 40,111 gmultiset.v
- - rw-r--r-- 7,330 hashset.v
- - rw-r--r-- 2,197 hlist.v
- - rw-r--r-- 6,445 infinite.v
- - rw-r--r-- 6,047 lexico.v
- - rw-r--r-- 307 list.v
- - rw-r--r-- 54,601 list_basics.v
- - rw-r--r-- 37,787 list_misc.v
- - rw-r--r-- 49,923 list_monad.v
- - rw-r--r-- 17,480 list_numbers.v
- - rw-r--r-- 81,750 list_relations.v
- - rw-r--r-- 13,086 list_tactics.v
- - rw-r--r-- 2,924 listset.v
- - rw-r--r-- 1,852 listset_nodup.v
- - rw-r--r-- 5,981 mapset.v
- - rw-r--r-- 6,314 namespaces.v
- - rw-r--r-- 4,600 nat_cancel.v
- - rw-r--r-- 17,242 natmap.v
- - rw-r--r-- 2,886 nmap.v
- - rw-r--r-- 64,673 numbers.v
- - rw-r--r-- 23,511 option.v
- - rw-r--r-- 1,162 options.v
- - rw-r--r-- 3,726 orders.v
- - rw-r--r-- 17,332 pmap.v
- - rw-r--r-- 187 prelude.v
- - rw-r--r-- 5,262 pretty.v
- - rw-r--r-- 1,884 proof_irrel.v
- - rw-r--r-- 3,013 propset.v
- - rw-r--r-- 20,402 relations.v
- - rw-r--r-- 60,339 sets.v
- - rw-r--r-- 11,040 sorting.v
- - rw-r--r-- 490 ssreflect.v
- - rw-r--r-- 2,191 streams.v
- - rw-r--r-- 2,649 stringmap.v
- - rw-r--r-- 7,970 strings.v
- - rw-r--r-- 41,208 tactics.v
- - rw-r--r-- 8,889 telescopes.v
- - rw-r--r-- 14,249 vector.v
- - rw-r--r-- 2,810 well_founded.v
- - rw-r--r-- 3,406 zmap.v