文件名称: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)
文件名称:modal_logic
文件大小:6KB
文件格式:ZIP
更新时间:2024-03-26 20:05:15
Lean
modal_logic