fib.mw @rel_1_1_2011_0426 — raw · history · blame

1
2
3
4

*a *b *c
0 =a 1 =b
: fib a b + =c c . b =a c =b c 100000 < @fib ;
1 . fib