euclid parser 解析几何证明语言以构建图表说明

euclid解析器解析几何证明语言以获取图表构建说明。使用。玩语法。安装npm install euclid-parser或者： git clone https://github.com/anandthakker/euclid-parser.git 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 c