module module

`IndisputableMonolith.Verification.KnobsCount`

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

declarations in this module (6)

structure LedgeredInput L22
def inputLedger L30
theorem inputLedger_nonempty L43
theorem inputLedger_count L47
def fittedContinuousParameterCount L52
theorem no_fitted_continuous_parameters L54