/brouwerfixedpoint

Proving Brouwer's Fixed Point Theorem in Lean

Primary LanguageLean

Stargazers