a thoughtful web.
Good ideas and conversation. No ads, no tracking.   Login or Take a Tour!
kingmudsy  ·  1099 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!