Formal proof of equivalence of Fibonacci functionsmadsbuch.com4 points·madsbuch··0 commentsOpen articleSaveView on HN