package info (click to toggle)
coq 9.1.0%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 35,964 kB
  • sloc: ml: 239,908; sh: 4,355; python: 2,985; ansic: 2,644; makefile: 874; lisp: 171; javascript: 63; xml: 24; sed: 2

Folder: user-overlays

d .. (parent)
- - rw-r--r-- 149 18615-SkySkimmer-decl-sort.sh
- - rw-r--r-- 585 19530-proux01-stdlib-repo.sh
- - rw-r--r-- 70 19584-SkySkimmer-jump-to-def.sh
- - rw-r--r-- 836 19690-SkySkimmer-ltacX-obligations.sh
- - rw-r--r-- 149 19764-SkySkimmer-rocq-cli.sh
- - rw-r--r-- 290 19801-andres-erbsen-Zeq_bool.sh
- - rw-r--r-- 177 19803-ppedrot-split-meta-state.sh
- - rw-r--r-- 82 19826-SkySkimmer-vscoq-multiple-coqproject.sh
- - rw-r--r-- 70 19834-SkySkimmer-no-ml-cwd.sh
- - rw-r--r-- 82 19872-SkySkimmer-depr-auto-prop-lowering.sh
- - rw-r--r-- 182 19874-gares-elpi-2.0.sh
- - rw-r--r-- 76 19901-SkySkimmer-configure-clean.sh
- - rw-r--r-- 161 19943-ppedrot-module-expr-type-gadt.sh
- - rw-r--r-- 74 19981-SkySkimmer-classify-warn.sh
- - rw-r--r-- 94 19985-SkySkimmer-cominductive-lbound.sh
- - rw-r--r-- 315 19995-ppedrot-module-abstract-type.sh
- - rw-r--r-- 89 20012-SkySkimmer-instance-length-mismatch-error.sh
- - rw-r--r-- 170 20028-proux01-renamiing-prompt.sh
- - rw-r--r-- 87 20054-SkySkimmer-tac-redef-locality.sh
- - rw-r--r-- 230 20069-SkySkimmer-set-leq-noenv.sh
- - rw-r--r-- 153 20095-SkySkimmer-record-share-ind.sh
- - rw-r--r-- 287 20102-SkySkimmer-kernel-template-qvar.sh
- - rw-r--r-- 157 20132-SkySkimmer-evar-relevance.sh
- - rw-r--r-- 75 20152-SkySkimmer-simplify-arity.sh
- - rw-r--r-- 155 20165-ppedrot-environ-view-serlib.sh
- - rw-r--r-- 412 20178-SkySkimmer-template-entry-qvar.sh
- - rw-r--r-- 91 20190-SkySkimmer-rocq-queries.sh
- - rw-r--r-- 73 20201-ppedrot-hint-opaque-modes.sh
- - rw-r--r-- 74 20230-SkySkimmer-delay-coq-env.sh
- - rw-r--r-- 79 20235-SkySkimmer-print-args-delim-tmp.sh
- - rw-r--r-- 287 20272-SkySkimmer-def-loc.sh
- - rw-r--r-- 81 20275-SkySkimmer-constrextern-max-depth.sh
- - rw-r--r-- 151 20313-SkySkimmer-genarg-ntn-vars.sh
- - rw-r--r-- 153 20315-SkySkimmer-ltac-may-eval.sh
- - rw-r--r-- 84 20355-Yann-Leray-refine-definition.sh
- - rw-r--r-- 71 20360-SkySkimmer-clean-univ.sh
- - rw-r--r-- 83 20362-ppedrot-declaremode-cache-include.sh
- - rw-r--r-- 497 20371-SkySkimmer-dirpath-full-path.sh
- - rw-r--r-- 77 20391-SkySkimmer-ltac1-no-unredef.sh
- - rw-r--r-- 688 20397-jrosain-refactor-elimination.sh
- - rw-r--r-- 252 20423-ppedrot-namegen-no-global.sh
- - rw-r--r-- 68 20427-SkySkimmer-pp-strf.sh
- - rw-r--r-- 243 20472-ppedrot-abstract-clean-seff.sh
- - rw-r--r-- 138 20478-affeldt-aist-mathcomp-backport.sh
- - rw-r--r-- 84 20483-SkySkimmer-simple-open-filtered-open.sh
- - rw-r--r-- 351 20496-LeoAlexElouan-clarify-bound-names.sh
- - rw-r--r-- 167 20511-dhalilov-multiple-named-goals.sh
- - rw-r--r-- 81 20516-SkySkimmer-ltac2-set-export.sh
- - rw-r--r-- 81 20542-SkySkimmer-clean-reinit.sh
- - rw-r--r-- 79 20552-SkySkimmer-tac2fun1.sh
- - rw-r--r-- 83 20600-SkySkimmer-fix-toposthole.sh
- - rw-r--r-- 71 20601-SkySkimmer-find-unique.sh
- - rw-r--r-- 155 20603-SkySkimmer-rm-depr-lib-apis.sh
- - rw-r--r-- 326 20605-SkySkimmer-simpl-proj-flags.sh
- - rw-r--r-- 83 20738-SkySkimmer-improve-fixpoint-no-elim.sh
- - rw-r--r-- 5,316 README.md