A bi-directional extensible interface between Lean and Mathematica.

Robert Y. Lewis Minchao Wu

Published in: CoRR (2021)

Keyphrases

bi directional
english chinese
markup language
neural network
user interface
user friendly
associative memory
interface design
direct manipulation
visual interface
object oriented
website
data model
application specific
novice users
friendly interface