euclid解析器解析几何证明语言以获取图表构建说明。使用：

  • 安装：npm install euclid-parser 或者：

  • 克隆代码库：git clone 后 cd euclid-parser，再执行 npm install

  • 用法：


var parser = require('euclid-parser');

var input = [

    'let a be the point (1,2)',

    'let b = (3, 4)',

    'let s be the segment from a to b',

    'let t be the line determined by a and b',

    'let o be the circle with center a'

];