A bi-directional extensible ad hoc interface between Lean and Mathematicaandrew.cmu.edu1 pointlainon8 years ago