package info (click to toggle)
acl2 7.2dfsg-3
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 198,968 kB
  • ctags: 182,300
  • sloc: lisp: 2,415,261; ansic: 5,675; perl: 5,577; xml: 3,576; sh: 3,255; cpp: 2,835; makefile: 2,440; ruby: 2,402; python: 778; ml: 763; yacc: 709; csh: 355; php: 171; lex: 162; tcl: 44; java: 24; asm: 23; haskell: 17

Folder: nsa

d .. (parent)
- - 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,119 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,888 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,614 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-- 36,208 sqrt.lisp
- - rw-r--r-- 57,423 trig-approx.lisp
- - rw-r--r-- 94,952 trig.lisp