Comment Comment by redox99 Can you use Lean to... prove "Lean-fast" is equivalent to Lean? parent redox99 1 month ago
