package info (click to toggle)
acl2 8.6%2Bdfsg-3
  • links: PTS
  • area: main
  • in suites: sid
  • size: 1,138,276 kB
  • sloc: lisp: 17,818,294; java: 125,359; python: 28,122; javascript: 23,458; cpp: 18,851; ansic: 11,569; perl: 7,678; xml: 5,591; sh: 3,978; makefile: 3,840; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; 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,742 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,135 trig-approx.lisp
- - rw-r--r-- 94,952 trig.lisp