package info
(click to toggle)
acl2 6.5-2
- links: PTS
- area: main
- in suites: jessie, jessie-kfreebsd
- size: 108,856 kB
- ctags: 110,136
- sloc: lisp: 1,492,565; xml: 7,958; perl: 3,682; sh: 2,103; cpp: 1,477; makefile: 1,470; ruby: 453; ansic: 358; csh: 125; java: 24; haskell: 17
Folder: arithmetic
 |
.. (parent) | |||
 |
- | rw-r--r-- | 57 | Makefile |
|
- | rw-r--r-- | 1,748 | README |
|
- | rw-r--r-- | 1,779 | arith.lisp |
|
- | rw-r--r-- | 16,175 | arith2.lisp |
|
- | rw-r--r-- | 7,631 | basic.lisp |
|
- | rw-r--r-- | 3,280 | cg.lisp |
|
- | rw-r--r-- | 7,038 | common-factor-defuns.lisp |
|
- | rw-r--r-- | 4,474 | common-factor.lisp |
|
- | rw-r--r-- | 1,307 | complex-rationalp.lisp |
|
- | rw-r--r-- | 1,298 | denominator.lisp |
|
- | rw-r--r-- | 6,742 | even-odd.lisp |
|
- | rw-r--r-- | 7,975 | even-odd2-proofs.lisp |
|
- | rw-r--r-- | 4,617 | even-odd2.lisp |
|
- | rw-r--r-- | 28,636 | expo-proofs.lisp |
|
- | rw-r--r-- | 17,186 | expo.lisp |
|
- | rw-r--r-- | 25,718 | expt-proofs.lisp |
|
- | rw-r--r-- | 15,973 | expt.lisp |
|
- | rw-r--r-- | 7,986 | extra-rules.lisp |
|
- | rw-r--r-- | 4,910 | fl-expt.lisp |
|
- | rw-r--r-- | 2,126 | fl-hacks.lisp |
|
- | rw-r--r-- | 26,834 | fl-proofs.lisp |
|
- | rw-r--r-- | 17,984 | fl.lisp |
|
- | rw-r--r-- | 9,105 | floor-proofs.lisp |
|
- | rw-r--r-- | 5,517 | floor.lisp |
|
- | rw-r--r-- | 10,779 | fp.lisp |
|
- | rw-r--r-- | 25,969 | fp2.lisp |
|
- | rw-r--r-- | 706 | ground-zero.lisp |
|
- | rw-r--r-- | 1,433 | hacks.lisp |
|
- | rw-r--r-- | 1,584 | induct.lisp |
|
- | rw-r--r-- | 3,554 | integerp.lisp |
|
- | rw-r--r-- | 4,579 | inverted-factor.lisp |
|
- | rw-r--r-- | 11,803 | mod-expt.lisp |
|
- | rw-r--r-- | 44,720 | mod-proofs.lisp |
|
- | rw-r--r-- | 29,466 | mod.lisp |
|
- | rw-r--r-- | 3,000 | negative-syntaxp.lisp |
|
- | rw-r--r-- | 21,427 | nniq.lisp |
|
- | rw-r--r-- | 2,167 | numerator.lisp |
|
- | rw-r--r-- | 5,135 | power2p.lisp |
|
- | rw-r--r-- | 889 | predicate.lisp |
|
- | rw-r--r-- | 3,936 | product-proofs.lisp |
|
- | rw-r--r-- | 2,032 | product.lisp |
|
- | rw-r--r-- | 1,555 | rationalp.lisp |
|
- | rw-r--r-- | 1,963 | top.lisp |
|
- | rw-r--r-- | 2,468 | unary-divide.lisp |
|
- | rw-r--r-- | 7,357 | x-2xx.lisp |