def
definition
def or abbrev
printSummary
show as:
view Lean formalization →
formal statement (Lean)
101def printSummary : IO Unit := do
proof body
Definition body.
102 IO.println "┌─────────────────────────────────────────────────────────────┐"
103 IO.println "│ Audit Summary │"
104 IO.println "└─────────────────────────────────────────────────────────────┘"
105 IO.println ""
106 IO.println " Total verified constants: 9"
107 IO.println " Consistency checks passed: 4"
108 IO.println " Example witnesses: 1"
109 IO.println " Coincidence probability: < 10^(-12)"
110 IO.println ""
111 IO.println " ╔═══════════════════════════════════════════════════════════╗"
112 IO.println " ║ STATUS: VERIFIED ║"
113 IO.println " ╚═══════════════════════════════════════════════════════════╝"
114 IO.println ""
115
116/-- Main entry point for the CPM audit CLI. -/