Sociology

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

21 modules · 48 thm/lemma · 1134 lines

module	thm	def	lines	papers
`Sociology.AnthropologyFromRS`	2	1	44	—
`Sociology.CivilizationCyclesFromPhiLadder`	2	2	46	—
`Sociology.ConflictResolutionFromJCost`	1	1	41	—
`Sociology.DunbarFromBandwidth`	8	9	178	—
`Sociology.DunbarLayersFromPhi`	3	2	54	—
`Sociology.EnvironmentalSociologyFromRS`	2	1	41	—
`Sociology.GeopoliticsFromRS`	2	1	40	—
`Sociology.GovernanceDesignFromConfigDim`	4	2	72	—
`Sociology.HistoryOfScienceFromRS`	1	1	33	—
`Sociology.InstitutionalDesignFromJCost`	0	1	32	—
`Sociology.LegalTraditionsFromConfigDim`	1	1	36	—
`Sociology.MediaEcologyFromRS`	1	1	32	—
`Sociology.PolarisationCheegerBound`	3	4	84	—
`Sociology.PolarisationFromSigmaCascade`	3	1	48	—
`Sociology.PolarizationFromJCost`	1	1	45	—
`Sociology.SocialMediaPolarisationFromJCost`	0	1	34	—
`Sociology.SocialStratificationFromConfigDim`	6	4	87	—
`Sociology.SolidarityTypesFromConfigDim`	1	1	34	—
`Sociology.UrbanPlanningFromRS`	1	1	34	—
`Sociology.UrbanizationFromPhiLadder`	2	2	48	—
`Sociology.VotingParadoxesFromSigma`	4	3	71	—