Closed CAMOBAP closed 1 month ago
@CAMOBAP I believe latexml is only used for testing in Plurimath, Metanorma no longer uses it.
@ronaldtse do it's ok to ignore any further issues with it and remove from testing this action?
@CAMOBAP I believe latexml is only used for testing in Plurimath, Metanorma no longer uses it.