GitHub repository: FrickHazard/thomaes-function
Primary language: Lean
Created: 2021-08-03T19:50:05Z
Description: Lean proof of Thomaes(Popcorn) Function