Fingerprint
Dive into the research topics of 'A Bi-Directional Extensible Interface Between Lean and Mathematica'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Robert Y. Lewis*, Minchao Wu
Research output: Contribution to Journal › Article › Academic › peer-review