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

d .. (parent)
- - rw-r--r-- 26,011 clenv.ml
- - rw-r--r-- 6,979 clenv.mli
- - rw-r--r-- 5,539 clenvtac.ml
- - rw-r--r-- 1,183 clenvtac.mli
- - rw-r--r-- 2,626 evar_refiner.ml
- - rw-r--r-- 912 evar_refiner.mli
- - rw-r--r-- 5,493 goal.ml
- - rw-r--r-- 3,037 goal.mli
- - rw-r--r-- 2,517 goal_select.ml
- - rw-r--r-- 1,225 goal_select.mli
- - rw-r--r-- 22,918 logic.ml
- - rw-r--r-- 2,746 logic.mli
- - rw-r--r-- 2,720 miscprint.ml
- - rw-r--r-- 1,244 miscprint.mli
- - rw-r--r-- 10,522 pfedit.ml
- - rw-r--r-- 5,191 pfedit.mli
- - rw-r--r-- 18,084 proof.ml
- - rw-r--r-- 8,924 proof.mli
- - rw-r--r-- 6,855 proof_bullet.ml
- - rw-r--r-- 2,229 proof_bullet.mli
- - rw-r--r-- 19,258 proof_global.ml
- - rw-r--r-- 7,634 proof_global.mli
- - rw-r--r-- 1,087 proof_type.ml
- - rw-r--r-- 142 proofs.mllib
- - rw-r--r-- 9,959 redexpr.ml
- - rw-r--r-- 1,887 redexpr.mli
- - rw-r--r-- 6,509 refine.ml
- - rw-r--r-- 2,590 refine.mli
- - rw-r--r-- 11,570 refiner.ml
- - rw-r--r-- 6,205 refiner.mli
- - rw-r--r-- 7,328 tacmach.ml
- - rw-r--r-- 5,925 tacmach.mli
- - rw-r--r-- 2,320 tactypes.ml