项目描述 ：
Modal Logic Library in Coq

高级语言： Coq

项目主页： http://sistemabu.udesc.br/pergamumweb/vinculos/000082/0000820a.pdf

项目地址: git://github.com/arielsilveira/ModalLibrary.git

创建时间： 2020-01-28T10:12:50Z
项目社区：https://github.com/arielsilveira/ModalLibrary
开源协议：BSD 2-Clause "Simplified" License
下载