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: m1

d .. (parent)
- - rw-r--r-- 581 Demo.class
- - rw-r--r-- 267 Demo.java
- - rw-r--r-- 57 Makefile
- - rw-r--r-- 16,716 README
- - rw-r--r-- 7,270 alternating-sum-variant.lisp
- - rw-r--r-- 6,393 alternating-sum.lisp
- - rw-r--r-- 11,581 bexpt.lisp
- - rw-r--r-- 20 cert.acl2
- - rw-r--r-- 4,652 defsys-utilities.lisp
- - rw-r--r-- 62 defsys.acl2
- - rw-r--r-- 76,800 defsys.lisp
- - rw-r--r-- 11,415 div.lisp
- - rw-r--r-- 6,228 even-solution-1.lisp
- - rw-r--r-- 7,095 even-solution-2.lisp
- - rw-r--r-- 5,582 expt.lisp
- - rw-r--r-- 5,333 fact.lisp
- - rw-r--r-- 10,192 factorial-demo.lsp
- - rw-r--r-- 9,511 fib.lisp
- - rw-r--r-- 63 find-k%21.acl2
- - rw-r--r-- 55,666 find-k%21.lisp
- - rw-r--r-- 10,247 funny-fact.lisp
- - rw-r--r-- 68 implementation.acl2
- - rw-r--r-- 11,834 implementation.lisp
- - rw-r--r-- 6,266 lessp.lisp
- - rw-r--r-- 55 low-seven.acl2
- - rw-r--r-- 2,656 low-seven.lisp
- - rw-r--r-- 99 m1-half-via-inductive-assertions.acl2
- - rw-r--r-- 10,719 m1-half-via-inductive-assertions.lisp
- - rw-r--r-- 78 m1-with-stobj-clock-example.acl2
- - rw-r--r-- 8,724 m1-with-stobj-clock-example.lisp
- - rw-r--r-- 338 m1-with-stobj.acl2
- - rw-r--r-- 13,011 m1-with-stobj.lisp
- - rw-r--r-- 270 m1.acl2
- - rw-r--r-- 7,645 m1.lisp
- - rw-r--r-- 6,960 magic.lisp
- - rw-r--r-- 5,316 power.lisp
- - rw-r--r-- 1,591 script.lsp
- - rw-r--r-- 7,935 sign.lisp
- - rw-r--r-- 5,374 sum.lisp
- - rw-r--r-- 5,499 sumsq.lisp
- - rw-r--r-- 6,722 template.lisp
- - rw-r--r-- 28,564 theorems-a-and-b.lisp
- - rw-r--r-- 55,980 tmi-reductions.lisp
- - rw-r--r-- 176,762 turing-equivalence-talk.pdf
- - rw-r--r-- 15,062 wormhole-abstraction.lisp