package info (click to toggle)
coq-doc 8.20.0-2
  • links: PTS, VCS
  • area: non-free
  • in suites: forky, sid, trixie
  • size: 46,708 kB
  • sloc: ml: 234,429; sh: 4,686; python: 3,359; ansic: 2,644; makefile: 842; lisp: 172; javascript: 87; xml: 24; sed: 2

Folder: Ltac2

d .. (parent)
d d rwxr-xr-x 48 Compat
- - rw-r--r-- 10,003 Array.v
- - rw-r--r-- 1,878 Bool.v
- - rw-r--r-- 1,111 Char.v
- - rw-r--r-- 938 Constant.v
- - rw-r--r-- 14,556 Constr.v
- - rw-r--r-- 1,315 Constructor.v
- - rw-r--r-- 6,999 Control.v
- - rw-r--r-- 1,612 Env.v
- - rw-r--r-- 809 Evar.v
- - rw-r--r-- 1,876 FMap.v
- - rw-r--r-- 2,464 FSet.v
- - rw-r--r-- 811 Float.v
- - rw-r--r-- 1,451 Fresh.v
- - rw-r--r-- 996 Ident.v
- - rw-r--r-- 2,616 Ind.v
- - rw-r--r-- 3,157 Init.v
- - rw-r--r-- 2,579 Int.v
- - rw-r--r-- 3,978 Lazy.v
- - rw-r--r-- 17,343 List.v
- - rw-r--r-- 3,787 Ltac1.v
- - rw-r--r-- 1,430 Ltac2.v
- - rw-r--r-- 4,659 Message.v
- - rw-r--r-- 809 Meta.v
- - rw-r--r-- 18,431 Notations.v
- - rw-r--r-- 1,969 Option.v
- - rw-r--r-- 6,380 Pattern.v
- - rw-r--r-- 2,459 Printf.v
- - rw-r--r-- 2,139 Proj.v
- - rw-r--r-- 1,643 Pstring.v
- - rw-r--r-- 1,481 RedFlags.v
- - rw-r--r-- 1,222 Ref.v
- - rw-r--r-- 12,149 Std.v
- - rw-r--r-- 1,621 String.v
- - rw-r--r-- 1,348 TransparentState.v
- - rw-r--r-- 813 Uint63.v
- - rw-r--r-- 1,433 Unification.v
- - rw-r--r-- 201 dune.disabled