Good ideas and conversation. No ads, no tracking. Login or Take a Tour!
kingmudsy · 1937 days ago · link · · parent · post: Proving the relationship between the golden ratio and the Fibonnaci numbers in Coq
This is really, really cool from a conceptual perspective. At the same time, I'm immensely glad that I don't have to work with this professionally :) Do you have an end-goal in mind for learning Coq, or is it more of a curiosity you want to satisfy? Curious to see what else you might try with the language!