Some time ago, I saw a toot with a link to a #Coq proof involving real numbers, but I can't find it anymore :(
I think it was about proving that the ratio of two Fibonacci numbers converges to the golden ratio, but I'm not sure.
Anyone remembers it and knows where I can find it?
@typochon In "theories/reals"?
@amiloradovsky I don't think so, it was something someone made using those (I assume). But it was an example of what was possible rather than a theory
I checked, just in case, but didn't find anything
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!
@typochon In "theories/reals"?