4 ms·A bi-directional extensible ad hoc interface between Lean and Mathematica1 points by lainon 9y ago