search

gipplab / LaCASt

LaCASt - A LaTeX Translator for Computer Algebra Systems
MIT License
7 stars 0 forks source link

Macro Counter #192

Closed AndreG-P closed 3 years ago

AndreG-P commented 3 years ago

Create a macro counter that is able to detect how often each macro is used in the DLMF dataset including

This can be easily parallelized and should not use the existing pattern matching techniques for performance reasons.