Pinned Loading

1. math-xmum/Brouwer math-xmum/Brouwer Public

   This repo is about the proof of the Nash Equilibrium through Scarf and Brouwer by Mathlib.

   Lean 33 2

2. gametheoryinlean/EconCSLib gametheoryinlean/EconCSLib Public

   Lean 4 library and knowledge base for computational economics

   Lean 33 10

3. General_Scarf General_Scarf Public

   Lean 4 formalization of Scarf’s theorems, oriented matroids, and their applications to Brouwer and Kakutani fixed-point theorems.

   Lean