MathFSG

MathFSG 是一套形式系统定义语言，允许用户用精确的定义来描述数学结构。配套的汇编器将定义转化为可执行的符号处理程序。整个系统面向数学基础的形式化，是 FSG 语言在形式科学方向上的延伸。