4 ms·There is no actual oracle. In this discussion oracle means Lean.by czgov 2mo agoThere is no actual oracle. In this discussion oracle means Lean.