pith. machine review for the scientific record. sign in

GameTheory

GameTheory modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.

6 modules · 37 thm/lemma · 1027 lines
module thm lemma def lines papers
GameTheory.CoalitionSizeFromConfigDim 5 0 4 85
GameTheory.CooperationCascade 4 0 3 79
GameTheory.CooperationFromSigma 12 0 5 265
GameTheory.ESSFromSigma 4 0 3 86
GameTheory.MechanismDesignFromSigma 9 0 6 396
GameTheory.NashEquilibriumFromJCost 3 0 4 116

full source mirrored from github.com/jonwashburn/shape-of-logic