导出为PDF
页面历史记录
查看所有权
已解决评论
页面信息
查看来源
内容
Starcoin Blockchain Team
Move
Diem Move 沟通会
跳到banner的尾部
JIRA 链接
回到标题开始
On Design of Move Prover
导出为PDF
页面历史记录
查看所有权
已解决评论
页面信息
查看来源
转至元数据结尾
由
Xudong Wang
创建于
4月 28, 2022
转至元数据起始
正在查看旧版本。 查看
当前版本
.
与当前比较
查看页面历史
版本 1
当前的 »
1. Thoughts of MVP Features
1.1 Refering to Generic Parameter types in Spec lang [1]
TODO describe the motivation
无标签
常规
内容
集成
{"serverDuration": 150, "requestCorrelationId": "c4c20608ddba4a1bb54d696dda2222cc"}