4 ms·Lean for proving theorems, and some complex analysis.by Tainnor 3y agoLean for proving theorems, and some complex analysis.