def
definition
def or abbrev
printExamples
show as:
view Lean formalization →
formal statement (Lean)
91def printExamples : IO Unit := do
proof body
Definition body.
92 IO.println "┌─────────────────────────────────────────────────────────────┐"
93 IO.println "│ Example Witness │"
94 IO.println "└─────────────────────────────────────────────────────────────┘"
95 IO.println ""
96 IO.println " The CPM standalone certificate includes a toy-model witness."
97 IO.println " This confirms the A/B/C assumptions are consistent and usable."
98 IO.println ""
99
100/-- Print audit summary. -/