Minerva Explorer online

Thanks for the lively chat on GPT3, i understand this is the topic of the
moment, but as some sources point out, there are LOADS of wonderful tools
out there that merit being tried out and studied

Look at this for example
https://minerva-demo.github.io/#category=Algebra&index=1
Niiiice

can someone help to put out a tool that can translate my natural language
expressions
(properly constructed, controlled natural language)
into a)algebra (possibly a choice of notations)
and  b) nicely worded reading of the algebra formula into natural language

PLUS (do not forget)
some proof/evaluation of the output

(begging)

PDM