package info (click to toggle)
acl2 8.5dfsg-5
  • links: PTS
  • area: main
  • in suites: bookworm
  • size: 991,452 kB
  • sloc: lisp: 15,567,759; javascript: 22,820; cpp: 13,929; ansic: 12,092; perl: 7,150; java: 4,405; xml: 3,884; makefile: 3,507; sh: 3,187; ruby: 2,633; ml: 763; python: 746; yacc: 723; awk: 295; csh: 186; php: 171; lex: 154; tcl: 49; asm: 23; haskell: 17

Folder: nsa

d .. (parent)
d d rwxr-xr-x 122 .sys
d d rwxr-xr-x 4,096 Banach-Tarski
- - rw-r--r-- 3,913 alternating-series.lisp
- - rw-r--r-- 47,480 chain-rule.lisp
- - rw-r--r-- 14,123 complex-polar.lisp
- - rw-r--r-- 2,716 continuity-product.lisp
- - rw-r--r-- 53,237 continuity.lisp
- - rw-r--r-- 64,362 derivative-raise.lisp
- - rw-r--r-- 67,102 derivatives-composition.lisp
- - rw-r--r-- 80,285 derivatives.lisp
- - rw-r--r-- 20,293 equivalence-continuity.lisp
- - rw-r--r-- 68,272 equivalence-derivatives-composition.lisp
- - rw-r--r-- 34,737 equivalence-derivatives.lisp
- - rw-r--r-- 13,655 equivalence-limits.lisp
- - rw-r--r-- 20,086 exp-continuous.lisp
- - rw-r--r-- 46,887 exp-sum.lisp
- - rw-r--r-- 64,741 exp.lisp
- - rw-r--r-- 1,055 factorial.lisp
- - rw-r--r-- 20,355 inner-sums.lisp
- - rw-r--r-- 18,690 intervals.lisp
- - rw-r--r-- 26,243 inverse-derivatives.lisp
- - rw-r--r-- 95 inverse-monotone.acl2
- - rw-r--r-- 42,556 inverse-monotone.lisp
- - rw-r--r-- 3,819 inverse-square.lisp
- - rw-r--r-- 9,868 inverse-trig.lisp
- - rw-r--r-- 2,898 inverses.lisp
- - rw-r--r-- 24,085 ln.lisp
- - rw-r--r-- 3,934 next-integer.lisp
- - rw-r--r-- 21,587 norm.lisp
- - rw-r--r-- 30,405 nsa.lisp
- - rw-r--r-- 10,584 overspill-proof.lisp
- - rw-r--r-- 1,983 overspill-test.lisp
- - rw-r--r-- 5,656 overspill.lisp
- - rw-r--r-- 2,308 raise.lisp
- - rw-r--r-- 35,985 sine.lisp
- - rw-r--r-- 18,696 sqrt-2.lisp
- - rw-r--r-- 31,657 sqrt-iter.lisp
- - rw-r--r-- 14,267 sqrt.lisp
- - rw-r--r-- 57,136 trig-approx.lisp
- - rw-r--r-- 94,952 trig.lisp