monad:将单子语言翻译成逻辑

【文件属性】：

文件名称：monad:将单子语言翻译成逻辑

文件大小：9KB

文件格式：ZIP

更新时间：2024-04-19 15:36:43

Coq

monad:将单子语言翻译成逻辑

【文件预览】：
monad-master
----help.v(7KB)
----subst_src.v(20KB)
----source.v(8KB)
----trans.v(236B)
----rules_src.v(508B)