3 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Constantin Jucovschi, Michael Kohlhase
Authoring documents in MKM formats like OMDoc is a very tedious task. After years of working on a semantically annotated corpus of sTeX documents (GenCS), we identified a set of co…