A bi-directional extensible interface between Lean and Mathematica - 42Papers