package info (click to toggle)
coq-hammer 1.3.2%2B8.20-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,128 kB
  • sloc: ml: 8,817; cpp: 1,040; makefile: 181; sh: 176; ansic: 79

Folder: 1.3.2+8.20-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 132 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 eval
d d rwxr-xr-x 114 examples
d d rwxr-xr-x 96 src
d d rwxr-xr-x 45 tests
d d rwxr-xr-x 45 theories
- - rw-r--r-- 4,478 CHANGES.md
- - rw-r--r-- 2,069 CONTRIBUTING.md
- - rw-r--r-- 871 CREDITS.md
- - rw-r--r-- 24,487 LICENSE
- - rw-r--r-- 2,958 Makefile
- - rw-r--r-- 824 Makefile.coq.plugin.local
- - rw-r--r-- 1,730 README.md
- - rw-r--r-- 6,425 TODO.md
- - rw-r--r-- 63 _CoqProject.mathcomp
- - rw-r--r-- 749 _CoqProject.plugin
- - rw-r--r-- 679 _CoqProject.tactics
- - rw-r--r-- 940 coq-hammer-tactics.opam
- - rw-r--r-- 1,069 coq-hammer.opam
- - rw-r--r-- 444 dune
- - rw-r--r-- 33 dune-project