structure definition def or abbrev

`OpenGap`

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

formal statement (Lean)

 138structure OpenGap where
 139  simulation_cost_unknown : True
 140  needs_spectral_to_turing_translation : True
 141

From the project-wide theorem graph. These declarations reference this one in their body.