A TypeScript library for the definition and implementation of prodef's DSL used for mathematical expressions in goals and constraints.

WIP