Good ideas and conversation. No ads, no tracking. Login or Take a Tour!
kingmudsy · 1995 days ago · link · · parent · post: Proving the relationship between the golden ratio and the Fibonnaci numbers in Coq
Wow, Coq is not intuitive to me! This is really cool, though - super functional, which is an aspect of programming I've wanted to explore more. I had a little boilerplate Haskell game awhile ago, but I can't seem to find it on GitHub... Something about how your rules are started with "Lemma" and ended with "QED" is funny to me, but maybe I'm just being a big nerd :)