Comment Comment by czgov There is no actual oracle. In this discussion oracle means Lean. parent czgov 2 months ago
