coqstlczk:ZK证明编译器的Coq证明源码

Name: coqstlczk:ZK证明编译器的Coq证明 源码
Rating: 4.5 (31 reviews)
Author: shy88153

上传者：shy88153 2021-02-09 21:41:21上传 ZIP文件 113KB 热度 31次

Coqstlczk ZK证明编译器的Coq证明

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

coqstlczk ZK证明编译器的Coq证明源码

Coqstlczk ZK证明编译器的Coq证明

大小：113KB | 2021-02-09 21:41:21
mvs calculus用于MVS演算的概念证明编译器源码

MVS微积分这是用于mvs-calculus的概念证明编译器。

大小：23KB | 2021-04-18 10:17:15
RASRGeometry真实的分析证明证明了产生欧几里得几何的可数集合关系所有证明均已在Coq中验证源码

生成几何的两个集合关系真实的分析证明揭示了这两个产生几何关系的集合。证明已在Coq中验证。版权...

大小：321KB | 2021-04-27 13:19:58
证明索引器源码

证明索引器 Proven Indexer监视以太坊区块链交易日志以查找需要验证的新沉积。流程概述:...

大小：4.45MB | 2021-02-25 09:06:12
ssprove Coq中模块化密码证明的基础框架源码

SSProve:Coq中模块化密码证明的基础框架该存储库包含论文结果的Coq形式化: SSProv...

大小：351KB | 2021-04-16 17:32:04
zk跨平台零知识证明源码

zk:跨平台零知识证明

大小：22KB | 2021-02-01 23:05:53
HODL证明可证明的比特币HODLing源码

证据证明证明是使用锁定和释放比特币的命令行工具,并且是一种网络投票系统,其中投票权重amount ...

大小：622KB | 2021-02-01 03:48:48
社会证明源码

前端导师-社会证明部分欢迎! :waving_hand: 感谢您检查此前端编码挑战。挑战使您可以...

大小：205KB | 2021-02-23 11:26:31
论文研究一个出具证明编译器原型系统的实现.pdf

为了减小经验因素的影响，对设计阶段进行更好的质量控制，借助于面向对象的分析与设计理论，对传统的基于状...

大小：596KB | 2020-07-17 08:11:30
实习证明模板(企业实习证明)

大小：0B | 2020-08-08 21:14:36
实习证明模板企业实习证明

实习证明模板,觉得有用的就下载,不用资源分。

大小：20KB | 2020-08-08 21:14:36
社会证明部分源码

社会证明部分

大小：206KB | 2021-02-20 04:02:08
种子证明种子源码

种子:证明种子

大小：29KB | 2021-02-23 11:14:17
点共线的证明线共点的证明

点,线,有利于学习平面几何,大家可以试一下,

大小：297KB | 2020-09-14 23:29:28
社会证明科长源码

前端导师-社会证明部分欢迎! :waving_hand: 感谢您检查此前端编码挑战。挑战使您可以...

大小：201KB | 2021-02-20 02:06:46
社交证明部分前端导师挑战社交证明部分源码

前端导师-社会证明部分欢迎! :waving_hand: 感谢您检查此前端编码挑战。挑战使您可以...

大小：204KB | 2021-02-20 02:06:39

coqstlczk:ZK证明编译器的Coq证明 源码

coqstlczk:ZK证明编译器的Coq证明源码