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

d .. (parent)
- - rw-r--r-- 14,391 assumptions.ml
- - rw-r--r-- 1,586 assumptions.mli
- - rw-r--r-- 41,455 auto_ind_decl.ml
- - rw-r--r-- 1,743 auto_ind_decl.mli
- - rw-r--r-- 10,807 class.ml
- - rw-r--r-- 2,293 class.mli
- - rw-r--r-- 18,004 classes.ml
- - rw-r--r-- 2,308 classes.mli
- - rw-r--r-- 7,231 comAssumption.ml
- - rw-r--r-- 1,544 comAssumption.mli
- - rw-r--r-- 5,088 comDefinition.ml
- - rw-r--r-- 1,485 comDefinition.mli
- - rw-r--r-- 14,710 comFixpoint.ml
- - rw-r--r-- 3,598 comFixpoint.mli
- - rw-r--r-- 22,191 comInductive.ml
- - rw-r--r-- 2,629 comInductive.mli
- - rw-r--r-- 15,072 comProgramFixpoint.ml
- - rw-r--r-- 369 comProgramFixpoint.mli
- - rw-r--r-- 2,738 declareDef.ml
- - rw-r--r-- 1,240 declareDef.mli
- - rw-r--r-- 21,008 egramcoq.ml
- - rw-r--r-- 1,131 egramcoq.mli
- - rw-r--r-- 3,358 egramml.ml
- - rw-r--r-- 1,565 egramml.mli
- - rw-r--r-- 5,458 explainErr.ml
- - rw-r--r-- 1,133 explainErr.mli
- - rw-r--r-- 6,221 g_proofs.mlg
- - rw-r--r-- 47,561 g_vernac.mlg
- - rw-r--r-- 56,347 himsg.ml
- - rw-r--r-- 1,962 himsg.mli
- - rw-r--r-- 19,007 indschemes.ml
- - rw-r--r-- 2,042 indschemes.mli
- - rw-r--r-- 21,605 lemmas.ml
- - rw-r--r-- 3,220 lemmas.mli
- - rw-r--r-- 2,669 locality.ml
- - rw-r--r-- 1,936 locality.mli
- - rw-r--r-- 66,009 metasyntax.ml
- - rw-r--r-- 2,338 metasyntax.mli
- - rw-r--r-- 4,057 misctypes.ml
- - rw-r--r-- 15,924 mltop.ml
- - rw-r--r-- 3,416 mltop.mli
- - rw-r--r-- 43,309 obligations.ml
- - rw-r--r-- 4,699 obligations.mli
- - rw-r--r-- 47,190 ppvernac.ml
- - rw-r--r-- 1,292 ppvernac.mli
- - rw-r--r-- 6,758 proof_using.ml
- - rw-r--r-- 1,125 proof_using.mli
- - rw-r--r-- 2,101 pvernac.ml
- - rw-r--r-- 1,484 pvernac.mli
- - rw-r--r-- 28,585 record.ml
- - rw-r--r-- 1,454 record.mli
- - rw-r--r-- 13,254 search.ml
- - rw-r--r-- 3,435 search.mli
- - rw-r--r-- 13,652 topfmt.ml
- - rw-r--r-- 2,425 topfmt.mli
- - rw-r--r-- 353 vernac.mllib
- - rw-r--r-- 97,820 vernacentries.ml
- - rw-r--r-- 2,955 vernacentries.mli
- - rw-r--r-- 21,404 vernacexpr.ml
- - rw-r--r-- 3,029 vernacinterp.ml
- - rw-r--r-- 1,622 vernacinterp.mli
- - rw-r--r-- 2,106 vernacprop.ml
- - rw-r--r-- 1,330 vernacprop.mli
- - rw-r--r-- 1,550 vernacstate.ml
- - rw-r--r-- 1,064 vernacstate.mli