go rewrite 返回
项目作者： ShinKage

项目描述 ：
Verified directed graph rewriting with Idris
高级语言： Idris
项目地址: git://github.com/ShinKage/rewrite.git
创建时间： 2019-09-06T20:55:52Z
项目社区：https://github.com/ShinKage/rewrite
开源协议：
下载


presentation_1647797441504.pdf
thesis_screen_1647797441588.pdf
presentation_1650542835550.pdf
thesis_screen_1650542835670.pdf