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

d .. (parent)
- - rw-r--r-- 13,228 analyze.ml
- - rw-r--r-- 1,376 analyze.mli
- - rw-r--r-- 16,070 check.ml
- - rw-r--r-- 1,154 check.mli
- - rw-r--r-- 1,443 checkFlags.ml
- - rw-r--r-- 837 checkFlags.mli
- - rw-r--r-- 9,972 checkInductive.ml
- - rw-r--r-- 981 checkInductive.mli
- - rw-r--r-- 1,511 checkTypes.ml
- - rw-r--r-- 863 checkTypes.mli
- - rw-r--r-- 3,541 check_stat.ml
- - rw-r--r-- 794 check_stat.mli
- - rw-r--r-- 15,342 checker.ml
- - rw-r--r-- 701 checker.mli
- - rw-r--r-- 26 coqchk.ml
- - rw-r--r-- 808 coqchk.mli
- - rw-r--r-- 723 dune
- - rw-r--r-- 4,893 include
- - rw-r--r-- 12,926 mod_checking.ml
- - rw-r--r-- 952 mod_checking.mli
- - rw-r--r-- 1,357 safe_checking.ml
- - rw-r--r-- 997 safe_checking.mli
- - rw-r--r-- 7,011 validate.ml
- - rw-r--r-- 753 validate.mli
- - rw-r--r-- 15,282 values.ml
- - rw-r--r-- 1,633 values.mli
- - rw-r--r-- 14,181 votour.ml
- - rw-r--r-- 808 votour.mli