项目描述 ：
A simple pattern-based-rewrite-rule library in scheme with application to equation solving, automated theorem proving, and grammatical transformations.

高级语言： Racket

项目主页：

项目地址: git://github.com/robert-mitchell/pattern-rewriting.git

创建时间： 2016-10-26T00:28:20Z
项目社区：https://github.com/robert-mitchell/pattern-rewriting
开源协议：MIT License
下载