免费证明：“一个Monad证明全部”的资源
需积分: 5 187 浏览量
2021-02-04
03:13:40
上传
评论
收藏 51KB ZIP 举报
free-proving-master.zip （7个子文件） 
free-proving-master 
paper.tex 7KB paper.bib 25KB .gitignore 348B FreeMonadicProving.v 108KB README.md 390B build.sh 115B programming.cls 28KB资源评论
