15 citations · 42 across the 8 of their papers we have counts for
1 paper · 1 filter
Robert Y. Lewis, Minchao Wu
We implement a user-extensible ad hoc connection between the Lean proof assistant and the computer algebra system Mathematica. By reflecting the syntax of each system in the other…