package info (click to toggle)
coq 8.0pl2-2
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 14,228 kB
  • ctags: 17,685
  • sloc: ml: 97,070; makefile: 1,255; sh: 738; lisp: 456; awk: 15

Folder: Arith

d .. (parent)
- - rwxr-xr-x 819 Arith.v
- - rwxr-xr-x 5,154 Between.v
- - rw-r--r-- 1,598 Bool_nat.v
- - rwxr-xr-x 1,831 Compare.v
- - rwxr-xr-x 2,967 Compare_dec.v
- - rwxr-xr-x 1,917 Div.v
- - rw-r--r-- 5,227 Div2.v
- - rwxr-xr-x 2,171 EqNat.v
- - rw-r--r-- 2,102 Euclid.v
- - rw-r--r-- 8,586 Even.v
- - rw-r--r-- 1,336 Factorial.v
- - rwxr-xr-x 3,490 Gt.v
- - rwxr-xr-x 3,020 Le.v
- - rwxr-xr-x 3,970 Lt.v
- - rwxr-xr-x 2,381 Max.v
- - rwxr-xr-x 2,379 Min.v
- - rwxr-xr-x 3,583 Minus.v
- - rwxr-xr-x 5,895 Mult.v
- - rwxr-xr-x 1,102 Peano_dec.v
- - rwxr-xr-x 5,371 Plus.v
- - rwxr-xr-x 5,913 Wf_nat.v
- - rwxr-xr-x 1,839 intro.tex