modal_logic

【文件属性】：

文件名称：modal_logic

文件大小：6KB

文件格式：ZIP

更新时间：2024-03-26 20:05:15

Lean

modal_logic

【文件预览】：
modal_logic-master
----src()
--------modal_logic()
--------test.lean(245B)
----.gitignore(31B)
----leanpkg.toml(244B)