Keyword: proof-plan

Proof plan Direct Induction Proof Of Loomis Theorem formalized

Proof plan Kakutani Fixed-Point Proof of the Minimax Theorem admitted

Proof plan LP Duality Proof Of Minimax admitted

Proof plan Minimax From Antisymmetric Games admitted

Proof plan Minimax From Deterministic Approachability admitted

Proof plan Minimax via the All-Ones Specialization of Loomis formalized

Proof plan Ville Theorem By Discretization admitted