package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: buster, sid
  • size: 30,604 kB
  • sloc: ml: 192,230; sh: 2,585; python: 2,206; ansic: 1,878; makefile: 818; lisp: 202; xml: 24; sed: 2

Folder: theories

d .. (parent)
d d rwxr-xr-x 4,096 Arith
d d rwxr-xr-x 143 Bool
d d rwxr-xr-x 4,096 Classes
d d rwxr-xr-x 67 Compat
d d rwxr-xr-x 4,096 FSets
d d rwxr-xr-x 4,096 Init
d d rwxr-xr-x 4,096 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 126 Sorting
d d rwxr-xr-x 94 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