Back to Results
First PageMeta Content
Computing / Software engineering / Computer programming / Functional programming / Subroutines / Computability theory / Theoretical computer science / Computer algebra systems / Pattern matching / Wolfram Mathematica / Expr / Anonymous function


An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA
Add to Reading List

Document Date: 2017-09-19 19:50:55


Open Document

File Size: 275,90 KB

Share Result on Facebook
UPDATE