arielsilveira/ModalLibrary

Modal Logic Library in Coq

语言：TeX · GitHub 星标：16 · Fork：1

话题：coq · library · modal-logic · semantics

在 GitHub 上查看原仓库