tsca-formaldev
需积分: 10 40 浏览量
2021-02-21
16:20:55
上传
评论
收藏 15KB ZIP 举报
tsca-formaldev-master.zip （20个子文件） 
tsca-formaldev-master 
graveyard.hand.tz 217B fundme.v 6KB graveyard.hand-ccg-workspace.tz 1KB frozen.tz 975B Makefile 191B _CoqProject 102B graveyard.v 2KB crowdfunding.v 6KB ccgen.v 5KB vendors michelson-reformatter frozen.ccg 2KB wrapper.tz 486B .gitmodules 142B wrapper.v 6KB frozen.v 6KB README.md 142B util.v 986B makeccg 665B maketz 444B graveyard.hand.ccg 676B graveyard.ccg 1KB资源评论
