Formal proof of equivalence of Fibonacci functionshttp://madsbuch.com/blog/100-days-of-fibonacci-day-7-coq/ by madsbuch • 10 years ago 4 0 10 years agoMAmadsbuch.com