Closed kohlhase closed 7 years ago
I gave a demo to Arjeh Cohen on friday, an the demo did not find many things even for relatively trivial examples. And the latexml conversion was funny as well. We should try the demo out ourselves and fix it.
Can you confirm that it is working now?
yes, this seems to work now
I gave a demo to Arjeh Cohen on friday, an the demo did not find many things even for relatively trivial examples. And the latexml conversion was funny as well. We should try the demo out ourselves and fix it.