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

【文件属性】：
文件名称：monad:将单子语言翻译成逻辑
文件大小：9KB
文件格式：ZIP
更新时间：2021-03-30 21:50:03
Coq monad:将单子语言翻译成逻辑

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