Open kohlhase opened 8 years ago
We now have MMT "modules" in MathHub, so lmh depcrawl should take them into account. For the specific syntax ask @m-iancu.
@m-iancu can you give me the syntax I should use?
We now have MMT "modules" in MathHub, so lmh depcrawl should take them into account. For the specific syntax ask @m-iancu.