proof

abstract val proof: JsonString?(source)