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

d .. (parent)
- - rw-r--r-- 16,639 assumptions.ml
- - rw-r--r-- 1,709 assumptions.mli
- - rw-r--r-- 14,396 attributes.ml
- - rw-r--r-- 6,317 attributes.mli
- - rw-r--r-- 67,842 auto_ind_decl.ml
- - rw-r--r-- 1,499 auto_ind_decl.mli
- - rw-r--r-- 1,971 canonical.ml
- - rw-r--r-- 754 canonical.mli
- - rw-r--r-- 22,805 classes.ml
- - rw-r--r-- 3,681 classes.mli
- - rw-r--r-- 12,521 comArguments.ml
- - rw-r--r-- 916 comArguments.mli
- - rw-r--r-- 12,766 comAssumption.ml
- - rw-r--r-- 3,495 comAssumption.mli
- - rw-r--r-- 13,928 comCoercion.ml
- - rw-r--r-- 2,488 comCoercion.mli
- - rw-r--r-- 7,072 comDefinition.ml
- - rw-r--r-- 1,920 comDefinition.mli
- - rw-r--r-- 1,369 comExtraDeps.ml
- - rw-r--r-- 848 comExtraDeps.mli
- - rw-r--r-- 15,348 comFixpoint.ml
- - rw-r--r-- 2,958 comFixpoint.mli
- - rw-r--r-- 6,310 comHints.ml
- - rw-r--r-- 751 comHints.mli
- - rw-r--r-- 37,258 comInductive.ml
- - rw-r--r-- 5,399 comInductive.mli
- - rw-r--r-- 2,691 comPrimitive.ml
- - rw-r--r-- 825 comPrimitive.mli
- - rw-r--r-- 15,166 comProgramFixpoint.ml
- - rw-r--r-- 1,322 comProgramFixpoint.mli
- - rw-r--r-- 24,663 comRewriteRule.ml
- - rw-r--r-- 319 comRewriteRule.mli
- - rw-r--r-- 6,930 comSearch.ml
- - rw-r--r-- 1,103 comSearch.mli
- - rw-r--r-- 3,258 comTactic.ml
- - rw-r--r-- 2,244 comTactic.mli
- - rw-r--r-- 2,780 debugHook.ml
- - rw-r--r-- 4,589 debugHook.mli
- - rw-r--r-- 105,570 declare.ml
- - rw-r--r-- 20,665 declare.mli
- - rw-r--r-- 8,796 declareInd.ml
- - rw-r--r-- 1,603 declareInd.mli
- - rw-r--r-- 6,550 declareUniv.ml
- - rw-r--r-- 1,246 declareUniv.mli
- - rw-r--r-- 59,470 declaremods.ml
- - rw-r--r-- 6,456 declaremods.mli
- - rw-r--r-- 331 dune
- - rw-r--r-- 28,206 egramcoq.ml
- - rw-r--r-- 1,174 egramcoq.mli
- - rw-r--r-- 5,031 egramml.ml
- - rw-r--r-- 1,747 egramml.mli
- - rw-r--r-- 5,925 future.ml
- - rw-r--r-- 3,631 future.mli
- - rw-r--r-- 6,988 g_proofs.mlg
- - rw-r--r-- 771 g_proofs.mli
- - rw-r--r-- 3,873 g_redexpr.mlg
- - rw-r--r-- 1,169 g_redexpr.mli
- - rw-r--r-- 58,334 g_vernac.mlg
- - rw-r--r-- 2,512 g_vernac.mli
- - rw-r--r-- 71,965 himsg.ml
- - rw-r--r-- 1,042 himsg.mli
- - rw-r--r-- 22,131 indschemes.ml
- - rw-r--r-- 2,505 indschemes.mli
- - rw-r--r-- 19,847 library.ml
- - rw-r--r-- 2,873 library.mli
- - rw-r--r-- 12,076 loadpath.ml
- - rw-r--r-- 3,350 loadpath.mli
- - rw-r--r-- 2,393 locality.ml
- - rw-r--r-- 2,054 locality.mli
- - rw-r--r-- 90,231 metasyntax.ml
- - rw-r--r-- 3,351 metasyntax.mli
- - rw-r--r-- 16,925 mltop.ml
- - rw-r--r-- 4,301 mltop.mli
- - rw-r--r-- 6,126 opaques.ml
- - rw-r--r-- 1,624 opaques.mli
- - rw-r--r-- 51,570 ppvernac.ml
- - rw-r--r-- 1,417 ppvernac.mli
- - rw-r--r-- 44,735 prettyp.ml
- - rw-r--r-- 4,000 prettyp.mli
- - rw-r--r-- 17,206 printmod.ml
- - rw-r--r-- 921 printmod.mli
- - rw-r--r-- 9,417 proof_using.ml
- - rw-r--r-- 1,532 proof_using.mli
- - rw-r--r-- 3,107 pvernac.ml
- - rw-r--r-- 2,287 pvernac.mli
- - rw-r--r-- 3,657 recLemmas.ml
- - rw-r--r-- 889 recLemmas.mli
- - rw-r--r-- 45,389 record.ml
- - rw-r--r-- 3,484 record.mli
- - rw-r--r-- 10,581 retrieveObl.ml
- - rw-r--r-- 1,968 retrieveObl.mli
- - rw-r--r-- 13,949 search.ml
- - rw-r--r-- 3,679 search.mli
- - rw-r--r-- 23,412 synterp.ml
- - rw-r--r-- 4,484 synterp.mli
- - rw-r--r-- 15,336 topfmt.ml
- - rw-r--r-- 2,550 topfmt.mli
- - rw-r--r-- 9,804 vernac_classifier.ml
- - rw-r--r-- 935 vernac_classifier.mli
- - rw-r--r-- 104,557 vernacentries.ml
- - rw-r--r-- 2,518 vernacentries.mli
- - rw-r--r-- 19,301 vernacexpr.mli
- - rw-r--r-- 10,432 vernacextend.ml
- - rw-r--r-- 5,899 vernacextend.mli
- - rw-r--r-- 10,349 vernacinterp.ml
- - rw-r--r-- 1,365 vernacinterp.mli
- - rw-r--r-- 2,308 vernacoptions.ml
- - rw-r--r-- 1,188 vernacoptions.mli
- - rw-r--r-- 1,504 vernacprop.ml
- - rw-r--r-- 996 vernacprop.mli
- - rw-r--r-- 9,340 vernacstate.ml
- - rw-r--r-- 4,351 vernacstate.mli
- - rw-r--r-- 6,799 vernactypes.ml
- - rw-r--r-- 3,799 vernactypes.mli