GitHub repository: tomduck/pandoc-theoremnos
Primary language: Python
Created: 2019-09-26T12:58:32Z
Description: A pandoc filter for numbering theorems and theorem references.