GitHub repository: smucclaw/oldmathlangts
Primary language: JavaScript
Created: 2024-07-13T16:03:58Z
Description: runtime for the circa-2024 meng's mathlang, soon to be deprecated in favour of 2024 Haskell-based (or lam4) mathlang