pith. machine review for the scientific record. sign in
def definition def or abbrev

turingBridgeCert

show as:
view Lean formalization →

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

generate prose now

formal statement (Lean)

 154def turingBridgeCert : TuringBridgeCert where
 155  encoding_faithful := encoding_faithful

proof body

Definition body.

 156  non_natural := rhat_is_non_natural
 157  landscape_linear := landscape_linear
 158  gap_identified := the_open_gap
 159
 160end
 161
 162end IndisputableMonolith.Complexity.TuringBridge

depends on (6)

Lean names referenced from this declaration's body.