[Matryoshka-devel] Paper draft: An extensible ad hoc interface between Lean and Mathematica
rob.y.lewis at gmail.com
Sat Apr 8 00:11:35 CEST 2017
I thought I'd join the stream of people sharing paper drafts, and point you
toward the most recent version of a paper I plan to submit to ITP. While it
is not directly connected to Matryoshka, I hope that some of you will find
The paper describes a user-extensible interface between the Lean theorem
prover and Mathematica.
As always, comments are welcome before or after the deadline on Monday!
All the best,
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the matryoshka-devel