package info (click to toggle)
coq 8.20.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: 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: 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