A User-extensible Link between the Lean Proof Assistant and the Mathematica algebra system - 42Papers