项目描述 ：
:microscope: verification of component architectures (core)

高级语言： Haskell

项目主页：

项目地址: git://github.com/pascalpoizat/veca-haskell.git

创建时间： 2017-01-09T10:01:53Z
项目社区：https://github.com/pascalpoizat/veca-haskell
开源协议：Apache License 2.0
下载