`IndisputableMonolith.Verification.CPT`

IndisputableMonolith/Verification/CPT.lean · 15 lines · 0 declarations

Explainer status: pending

   1import IndisputableMonolith.Verification.CPT.Exports
   2
   3/-!
   4# Verification.CPT Umbrella
   5
   6Umbrella import for the CPT formalization modules:
   7
   8- core procedure interfaces,
   9- window identifiability,
  10- `P -> B -> A` pipeline,
  11- class-restricted domination/optimality,
  12- forced factorization under explicit hypotheses,
  13- epsilon/noise certification layer.
  14-/
  15

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