`IndisputableMonolith.Core.Complexity`

IndisputableMonolith/Core/Complexity.lean · 13 lines · 0 declarations

Explainer status: ready · generated 2026-05-13 02:27:57.118380+00:00

   1import Mathlib
   2import IndisputableMonolith.Complexity.VertexCover
   3import IndisputableMonolith.Complexity.RSVC
   4import IndisputableMonolith.Complexity.BalancedParityHidden
   5import IndisputableMonolith.Complexity.RSatEncoding
   6import IndisputableMonolith.Complexity.CircuitLedger
   7import IndisputableMonolith.Complexity.JCostLaplacian
   8import IndisputableMonolith.Complexity.SpectralGap
   9import IndisputableMonolith.Complexity.JFrustration
  10import IndisputableMonolith.Complexity.NonNaturalness
  11import IndisputableMonolith.Complexity.CircuitLowerBound
  12import IndisputableMonolith.Complexity.PvsNPAssembly
  13

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