First Page | Document Content | |
---|---|---|
Date: 2017-09-19 19:50:55Computing 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, USAAdd to Reading ListSource URL: pxtp.github.ioDownload Document from Source WebsiteFile Size: 275,90 KBShare Document on Facebook |