The Lisp

zhufei's blog

SCIP EX1.13. Prove Fib(n) is closest interger to ((1+(sqrt 5))/2)^n/2