mlavrent / brouwer-fp-formalization

A formalization of the Brouwer fixed point theorem in Lean

Geek Repo

Github PK Tool