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

d .. (parent)
d d rwxr-xr-x 4,096 Abstract
d d rwxr-xr-x 4,096 Cauchy
- - rw-r--r-- 27,281 Alembert.v
- - rw-r--r-- 14,558 AltSeries.v
- - rw-r--r-- 6,159 ArithProp.v
- - rw-r--r-- 7,214 Binomial.v
- - rw-r--r-- 16,698 Cauchy_prod.v
- - rw-r--r-- 11,736 ClassicalConstructiveReals.v
- - rw-r--r-- 26,130 ClassicalDedekindReals.v
- - rw-r--r-- 26,056 Cos_plus.v
- - rw-r--r-- 10,608 Cos_rel.v
- - rw-r--r-- 2,186 DiscrR.v
- - rw-r--r-- 30,565 Exp_prop.v
- - rw-r--r-- 759 Integration.v
- - rw-r--r-- 26,629 MVT.v
- - rw-r--r-- 6,675 Machin.v
- - rw-r--r-- 27,739 NewtonInt.v
- - rw-r--r-- 24,958 PSeries_reg.v
- - rw-r--r-- 20,377 PartSum.v
- - rw-r--r-- 62,614 RIneq.v
- - rw-r--r-- 26,602 RList.v
- - rw-r--r-- 2,907 ROrderedType.v
- - rw-r--r-- 38,041 R_Ifp.v
- - rw-r--r-- 11,814 R_sqr.v
- - rw-r--r-- 13,634 R_sqrt.v
- - rw-r--r-- 1,185 Ranalysis.v
- - rw-r--r-- 58,663 Ranalysis1.v
- - rw-r--r-- 15,314 Ranalysis2.v
- - rw-r--r-- 29,077 Ranalysis3.v
- - rw-r--r-- 13,052 Ranalysis4.v
- - rw-r--r-- 60,144 Ranalysis5.v
- - rw-r--r-- 30,253 Ranalysis_reg.v
- - rw-r--r-- 74,183 Ratan.v
- - rw-r--r-- 16,508 Raxioms.v
- - rw-r--r-- 774 Rbase.v
- - rw-r--r-- 21,726 Rbasic_fun.v
- - rw-r--r-- 6,974 Rcomplete.v
- - rw-r--r-- 12,484 Rdefinitions.v
- - rw-r--r-- 21,504 Rderiv.v
- - rw-r--r-- 1,574 Reals.v
- - rw-r--r-- 27,392 Rfunctions.v
- - rw-r--r-- 7,927 Rgeom.v
- - rw-r--r-- 136,124 RiemannInt.v
- - rw-r--r-- 109,945 RiemannInt_SF.v
- - rw-r--r-- 19,117 Rlimit.v
- - rw-r--r-- 5,714 Rlogic.v
- - rw-r--r-- 3,795 Rminmax.v
- - rw-r--r-- 806 Rpow_def.v
- - rw-r--r-- 30,603 Rpower.v
- - rw-r--r-- 6,691 Rprod.v
- - rw-r--r-- 1,464 Rregisternames.v
- - rw-r--r-- 12,920 Rseries.v
- - rw-r--r-- 5,209 Rsigma.v
- - rw-r--r-- 21,630 Rsqrt_def.v
- - rw-r--r-- 73,489 Rtopology.v
- - rw-r--r-- 1,109 Rtrigo.v
- - rw-r--r-- 65,298 Rtrigo1.v
- - rw-r--r-- 15,814 Rtrigo_alt.v
- - rw-r--r-- 11,283 Rtrigo_calc.v
- - rw-r--r-- 12,622 Rtrigo_def.v
- - rwxr-xr-x 6,715 Rtrigo_facts.v
- - rw-r--r-- 5,550 Rtrigo_fun.v
- - rw-r--r-- 16,132 Rtrigo_reg.v
- - rw-r--r-- 19,662 Runcountable.v
- - rw-r--r-- 37,844 SeqProp.v
- - rw-r--r-- 16,317 SeqSeries.v
- - rw-r--r-- 1,061 SplitAbsolu.v
- - rw-r--r-- 947 SplitRmult.v
- - rw-r--r-- 12,823 Sqrt_reg.v