项目描述 ：
An Editor with Generic Semantics for Formal Reasoning About Visual Notations

高级语言： Common Lisp

项目主页： https://www.michael-wessel.info

项目地址: git://github.com/lambdamikel/GenEd.git

创建时间： 2021-03-09T07:26:25Z
项目社区：https://github.com/lambdamikel/GenEd
开源协议：GNU General Public License v3.0
下载