/thomaes-function

Lean proof of Thomaes(Popcorn) Function

Primary LanguageLean

Stargazers