A Bi-Directional Extensible Interface Between Lean and Mathematica

Robert Y. Lewis*, Minchao Wu

*Corresponding author for this work

Research output: Contribution to JournalArticleAcademicpeer-review

Fingerprint

Dive into the research topics of 'A Bi-Directional Extensible Interface Between Lean and Mathematica'. Together they form a unique fingerprint.

Computer Science

Mathematics