Last released Sep 15, 2026
Constructive fixed-point theorems in Python: Sperner, Brouwer, Hex, Nash, Tucker, and envy-free division