Metanorma now supports LaTeX input (tex2mn in alpha!)

Author’s picture Paolo Brasolin Author’s picture Ronald Tse on 08 Oct 2019