package info (click to toggle)
coq 8.20.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 44,116 kB
  • sloc: ml: 234,160; sh: 4,301; python: 3,270; ansic: 2,644; makefile: 882; lisp: 172; javascript: 63; xml: 24; sed: 2

Folder: theories

d .. (parent)
d d rwxr-xr-x 4,096 Arith
d d rwxr-xr-x 29 Array
d d rwxr-xr-x 4,096 Bool
d d rwxr-xr-x 4,096 Classes
d d rwxr-xr-x 90 Compat
d d rwxr-xr-x 4,096 FSets
d d rwxr-xr-x 4,096 Floats
d d rwxr-xr-x 4,096 Init
d d rwxr-xr-x 151 Lists
d d rwxr-xr-x 4,096 Logic
d d rwxr-xr-x 4,096 MSets
d d rwxr-xr-x 4,096 NArith
d d rwxr-xr-x 4,096 Numbers
d d rwxr-xr-x 112 PArith
d d rwxr-xr-x 4,096 Program
d d rwxr-xr-x 4,096 QArith
d d rwxr-xr-x 4,096 Reals
d d rwxr-xr-x 129 Relations
d d rwxr-xr-x 29 Setoids
d d rwxr-xr-x 4,096 Sets
d d rwxr-xr-x 4,096 Sorting
d d rwxr-xr-x 4,096 Strings
d d rwxr-xr-x 4,096 Structures
d d rwxr-xr-x 49 Unicode
d d rwxr-xr-x 111 Vectors
d d rwxr-xr-x 4,096 Wellfounded
d d rwxr-xr-x 4,096 ZArith
d d rwxr-xr-x 69 btauto
d d rwxr-xr-x 29 derive
d d rwxr-xr-x 4,096 extraction
d d rwxr-xr-x 48 funind
d d rwxr-xr-x 4,096 micromega
d d rwxr-xr-x 52 nsatz
d d rwxr-xr-x 55 omega
d d rwxr-xr-x 49 rtauto
d d rwxr-xr-x 4,096 setoid_ring
d d rwxr-xr-x 109 ssr
d d rwxr-xr-x 34 ssrmatching
- - rw-r--r-- 9 _CoqProject
- - rw-r--r-- 708 dune.disabled
- - rw-r--r-- 120 index.mld