package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, 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: engine

d .. (parent)
- - rw-r--r-- 29,627 eConstr.ml
- - rw-r--r-- 12,411 eConstr.mli
- - rw-r--r-- 177 engine.mllib
- - rw-r--r-- 1,879 evar_kinds.ml
- - rw-r--r-- 1,979 evar_kinds.mli
- - rw-r--r-- 35,341 evarutil.ml
- - rw-r--r-- 12,208 evarutil.mli
- - rw-r--r-- 39,308 evd.ml
- - rw-r--r-- 25,831 evd.mli
- - rw-r--r-- 3,779 ftactic.ml
- - rw-r--r-- 2,703 ftactic.mli
- - rw-r--r-- 12,065 logic_monad.ml
- - rw-r--r-- 6,834 logic_monad.mli
- - rw-r--r-- 17,419 namegen.ml
- - rw-r--r-- 5,779 namegen.mli
- - rw-r--r-- 5,266 nameops.ml
- - rw-r--r-- 3,346 nameops.mli
- - rw-r--r-- 44,578 proofview.ml
- - rw-r--r-- 25,261 proofview.mli
- - rw-r--r-- 9,062 proofview_monad.ml
- - rw-r--r-- 5,035 proofview_monad.mli
- - rw-r--r-- 53,077 termops.ml
- - rw-r--r-- 15,040 termops.mli
- - rw-r--r-- 25,451 uState.ml
- - rw-r--r-- 5,887 uState.mli
- - rw-r--r-- 8,346 univGen.ml
- - rw-r--r-- 3,249 univGen.mli
- - rw-r--r-- 14,808 univMinim.ml
- - rw-r--r-- 1,552 univMinim.mli
- - rw-r--r-- 3,833 univNames.ml
- - rw-r--r-- 1,807 univNames.mli
- - rw-r--r-- 5,869 univProblem.ml
- - rw-r--r-- 2,151 univProblem.mli
- - rw-r--r-- 5,484 univSubst.ml
- - rw-r--r-- 1,932 univSubst.mli
- - rw-r--r-- 4,317 universes.ml
- - rw-r--r-- 9,757 universes.mli
- - rw-r--r-- 1,653 univops.ml
- - rw-r--r-- 1,137 univops.mli