 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
16,491 |
alternating-sum-variant%40useless-runes.lsp
|
|
- |
rw-r--r-- |
17,762 |
alternating-sum%40useless-runes.lsp
|
|
- |
rw-r--r-- |
39,016 |
bexpt%40useless-runes.lsp
|
|
- |
rw-r--r-- |
34,959 |
defsys-utilities%40useless-runes.lsp
|
|
- |
rw-r--r-- |
1,348 |
defsys%40useless-runes.lsp
|
|
- |
rw-r--r-- |
47,951 |
div%40useless-runes.lsp
|
|
- |
rw-r--r-- |
22,697 |
even-solution-1%40useless-runes.lsp
|
|
- |
rw-r--r-- |
16,279 |
even-solution-2%40useless-runes.lsp
|
|
- |
rw-r--r-- |
15,829 |
expt%40useless-runes.lsp
|
|
- |
rw-r--r-- |
12,810 |
fact%40useless-runes.lsp
|
|
- |
rw-r--r-- |
18,861 |
fib%40useless-runes.lsp
|
|
- |
rw-r--r-- |
227,483 |
find-k%21%40useless-runes.lsp
|
|
- |
rw-r--r-- |
46,486 |
funny-fact%40useless-runes.lsp
|
|
- |
rw-r--r-- |
10,364 |
good-statep%40useless-runes.lsp
|
|
- |
rw-r--r-- |
425,535 |
implementation%40useless-runes.lsp
|
|
- |
rw-r--r-- |
13,519 |
lessp%40useless-runes.lsp
|
|
- |
rw-r--r-- |
109,971 |
low-seven%40useless-runes.lsp
|
|
- |
rw-r--r-- |
46,224 |
m1-fact-on-neg-runs-forever%40useless-runes.lsp
|
|
- |
rw-r--r-- |
36,269 |
m1-half-via-inductive-assertions%40useless-runes.lsp
|
|
- |
rw-r--r-- |
19,684 |
m1%40useless-runes.lsp
|
|
- |
rw-r--r-- |
18,863 |
magic%40useless-runes.lsp
|
|
- |
rw-r--r-- |
14,833 |
power%40useless-runes.lsp
|
|
- |
rw-r--r-- |
21,474 |
sign%40useless-runes.lsp
|
|
- |
rw-r--r-- |
17,461 |
sum%40useless-runes.lsp
|
|
- |
rw-r--r-- |
19,679 |
sumsq%40useless-runes.lsp
|
|
- |
rw-r--r-- |
12,323 |
template%40useless-runes.lsp
|
|
- |
rw-r--r-- |
108,826 |
theorems-a-and-b%40useless-runes.lsp
|
|
- |
rw-r--r-- |
408,336 |
tmi-reductions%40useless-runes.lsp
|
|
- |
rw-r--r-- |
204 |
use-when%40useless-runes.lsp
|
|
- |
rw-r--r-- |
120,794 |
verify-guards%40useless-runes.lsp
|
|
- |
rw-r--r-- |
14,293 |
wormhole-abstraction%40useless-runes.lsp
|
