package info (click to toggle)
coq-stdpp 1.11.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,696 kB
  • sloc: makefile: 52; sh: 35; sed: 1

Folder: tests

d .. (parent)
- - rw-r--r-- 81 ascii.ref
- - rw-r--r-- 239 ascii.v
- - rw-r--r-- 0 bitblast.ref
- - rw-r--r-- 989 bitblast.v
- - rw-r--r-- 361 bitvector_definitions.ref
- - rw-r--r-- 401 bitvector_definitions.v
- - rw-r--r-- 2,287 bitvector_tactics.ref
- - rw-r--r-- 3,223 bitvector_tactics.v
- - rw-r--r-- 66 decidable.ref
- - rw-r--r-- 408 decidable.v
- - rw-r--r-- 323 eunify.ref
- - rw-r--r-- 1,034 eunify.v
- - rw-r--r-- 0 fin.ref
- - rw-r--r-- 126 fin.v
- - rw-r--r-- 3,074 fin_maps.ref
- - rw-r--r-- 16,524 fin_maps.v
- - rw-r--r-- 697 is_closed_term.ref
- - rw-r--r-- 1,285 is_closed_term.v
- - rw-r--r-- 572 length.ref
- - rw-r--r-- 653 length.v
- - rw-r--r-- 357 list.ref
- - rw-r--r-- 563 list.v
- - rw-r--r-- 0 multiset_solver.ref
- - rw-r--r-- 4,184 multiset_solver.v
- - rw-r--r-- 1,009 notation.ref
- - rw-r--r-- 2,224 notation.v
- - rw-r--r-- 0 numbers.ref
- - rw-r--r-- 793 numbers.v
- - rw-r--r-- 248 numbers_import.ref
- - rw-r--r-- 401 numbers_import.v
- - rw-r--r-- 0 pretty.ref
- - rw-r--r-- 2,316 pretty.v
- - rw-r--r-- 0 proper.ref
- - rw-r--r-- 2,972 proper.v
- - rw-r--r-- 0 propset.ref
- - rw-r--r-- 731 propset.v
- - rw-r--r-- 0 sets.ref
- - rw-r--r-- 1,088 sets.v
- - rw-r--r-- 0 solve_ndisj.ref
- - rw-r--r-- 1,740 solve_ndisj.v
- - rw-r--r-- 314 strings.ref
- - rw-r--r-- 1,171 strings.v
- - rw-r--r-- 1,277 tactics.ref
- - rw-r--r-- 13,683 tactics.v
- - rw-r--r-- 0 tactics_more.ref
- - rw-r--r-- 361 tactics_more.v
- - rw-r--r-- 458 telescopes.ref
- - rw-r--r-- 3,013 telescopes.v
- - rw-r--r-- 130 typeclasses.ref
- - rw-r--r-- 899 typeclasses.v
- - rw-r--r-- 50 universes.ref
- - rw-r--r-- 229 universes.v