GitHub repository: GunpowderGuy/MathMark
Primary language: Idris
Created: 2023-07-25T17:15:02Z
Description: Mathematical extension for markdown