Popular repositories Loading
-
-
-
fixed-point-theorems-lean4
fixed-point-theorems-lean4 PublicKakutani fixed-point theorem and Brouwer fixed-point theorem formalized and proven in Lean 4
Lean
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.