package info (click to toggle)
coq 8.16.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 40,596 kB
  • sloc: ml: 219,376; sh: 3,545; python: 3,231; ansic: 2,529; makefile: 767; lisp: 279; javascript: 63; xml: 24; sed: 2

Folder: user-overlays

d .. (parent)
- - rw-r--r-- 242 13965-gares-syndef-principal-scope.sh
- - rw-r--r-- 230 13969-mattam82-rewrite-reflexive-mode.sh
- - rw-r--r-- 171 14137-alizter-setoid-rewrite-type.sh
- - rw-r--r-- 123 14563-herbelin-master%2Brecord-with-default-variable-name.sh
- - rw-r--r-- 213 14727-herbelin-master%2Bmajor-refactoring-cooking.sh
- - rw-r--r-- 93 14740-alizter-alizter%2Bsplit-scheme-vernac.sh
- - rw-r--r-- 1,821 15220-gares-dynlink-w-findlib.sh
- - rw-r--r-- 77 15233-SkySkimmer-locality.sh
- - rw-r--r-- 70 15294-Lysxia-extract-comparison.sh
- - rw-r--r-- 321 15317-SkySkimmer-libobject-names.sh
- - rw-r--r-- 81 15324-ppedrot-rm-eauto-bfs-implem.sh
- - rw-r--r-- 661 15327-ppedrot-split-tclfail-level.sh
- - rw-r--r-- 350 15344-herbelin-master%2Brenaming-syntax_def.ml-abbreviation.ml.sh
- - rw-r--r-- 350 15344-herbelin-renaming-syntax_def.ml-abbreviation.ml.sh
- - rw-r--r-- 263 15393-ppedrot-deprecate-sigma-wrapper.sh
- - rw-r--r-- 94 15407-ppedrot-evarutil-precise-naming-mode.sh
- - rw-r--r-- 77 15414-ppedrot-reduce-global-use.sh
- - rw-r--r-- 521 15420-herbelin-master%2Bfix15420-hardwire-names-pred-mutual-induction-schemes.sh
- - rw-r--r-- 69 15446-olaure01-signatureT.sh
- - rw-r--r-- 67 15638-gares-fix-findlib-pack-rule.sh
- - rw-r--r-- 81 15645-alizter-alizter%2Bimprove-coqide-help.sh
- - rw-r--r-- 73 15650-LPCIC-external-dependency.sh
- - rw-r--r-- 76 15656-gares-bump-elpi.sh
- - rw-r--r-- 298 15693-gares-reverse-coercions.sh
- - rw-r--r-- 64 15721-fajb-micromega-interval-analysis.sh
- - rw-r--r-- 65 15836-proux01-doc_inductive.sh
- - rw-r--r-- 327 15837-ppedrot-reduce-universe-footprint.sh
- - rw-r--r-- 128 15853-proux01-nonuniform_attr.sh
- - rw-r--r-- 425 15856-ppedrot-universes-rm-univ-of-sort.sh
- - rw-r--r-- 145 15871-ppedrot-univ-cleanup-api.sh
- - rw-r--r-- 146 15872-gares-interp-inductive.sh
- - rw-r--r-- 217 15880-blaisorblade-coq_mk-delete-on-err.sh
- - rw-r--r-- 71 15884-proux01-num_not_no_elab.sh
- - rw-r--r-- 91 15915-ppedrot-pattern-of-constr-nf-flag.sh
- - rw-r--r-- 84 15943-ppedrot-cache-projection-relevance.sh
- - rw-r--r-- 74 15945-SkySkimmer-require-filters.sh
- - rw-r--r-- 149 15948-gares-bump-elpi.sh
- - rw-r--r-- 111 16206-extraction-less-recurse.sh
- - rw-r--r-- 78 16434-SkySkimmer-assumptions-vos.sh
- - rw-r--r-- 3,740 README.md