GitHub repository: mmasdeu/brouwerfixedpoint
Primary language: Lean
Created: 2021-05-17T10:07:15Z
Description: Proving Brouwer's Fixed Point Theorem in Lean