pith. machine review for the scientific record. sign in
def

main

definition
show as:
view math explainer →
module
IndisputableMonolith.CPM.AuditMain
domain
CPM
line
117 · github
papers citing
none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.CPM.AuditMain on GitHub at line 117.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

used by

formal source

 114  IO.println ""
 115
 116/-- Main entry point for the CPM audit CLI. -/
 117def main : IO Unit := do
 118  printHeader
 119  printConstants
 120  printConsistency
 121  printProbability
 122  printExamples
 123  printSummary
 124  IO.println "Audit complete. CPM constants and consistency checks verified."

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.