A Bi-Directional Extensible Interface Between Lean and MathematicaOpen Website

Robert Y. Lewis, Minchao Wu

2022 (modified: 05 Mar 2023)J. Autom. Reason. 2022Readers: Everyone
0 Replies