Want to get updates? You can add the feed link to your favourite feed reader. For email updates, you could subscribe via feedrabbit.
#lean
Solving a functional equation using Lean
Here is a problem from the 2019 Brazil Undergrad MO:
Find all functions \(f: \mathbb{R} \rightarrow \mathbb{R}\) satisfying \(f(x f(y) + f(x)) + f(y^2) = f(x) + y f(x + y)\)
I was curious to see if I could formalize and prove/verify this in Lean, so here goes.
Read more...
