您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. COQ tutorial

  2. COQ is a theorem prover. here is a tutorial for COQ
  3. 所属分类:其它

    • 发布日期:2011-09-19
    • 文件大小:201728
    • 提供者:jiale_zhou
  1. Matlab_2014b_Crack(2015-04-09)

  2. 包括32位与64位pojie文件与安装步骤 亲测32位可完整pojie安装! ver --------------------------------------------------------------------------------------------- MATLAB Version: 8.4.0.150421 (R2014b) MATLAB License Number: 409xxx Operating System: Microsoft Windows 7 旗舰版 Ve
  3. 所属分类:其它

    • 发布日期:2015-04-09
    • 文件大小:34603008
    • 提供者:lzy969737017
  1. The Little Prover

  2. 所属分类:讲义

    • 发布日期:2016-03-16
    • 文件大小:3145728
    • 提供者:eleifend
  1. The Little Prover

  2. What does it mean for a statement to be true? Some statements can be verified directly. To determine whether a particular omelette is delicious, we merely have to taste the omelette. Our answer is imprecise, however. We must wonder: how tasty must a
  3. 所属分类:其它

    • 发布日期:2016-09-19
    • 文件大小:8388608
    • 提供者:isfrog
  1. The Little Prover - Daniel P. Friedman

  2. The Little Prover - Daniel P. Friedman 。
  3. 所属分类:其它

    • 发布日期:2018-03-15
    • 文件大小:7340032
    • 提供者:jellyzone
  1. The Little Prover

  2. The Little Schemer 系列作者 Daniel P. Friedman 最新力作。 使用 Scheme 实现的定理证明器,进行程序形式验证。
  3. 所属分类:其它

    • 发布日期:2018-06-26
    • 文件大小:3145728
    • 提供者:cz0717
  1. theorem-prover, 一阶逻辑的自动定理证明器.zip

  2. theorem-prover, 一阶逻辑的自动定理证明器 一阶逻辑的自动定理证明器。 对于任何可以证明的公式,该程序都可以以找到证明( 最终) 。 然而,由于 hilbert的否定答案,有一些unprovable公式会使这个程序永远循环。一些说明:验证步骤显示为 sequents 。实际
  3. 所属分类:其它

    • 发布日期:2019-09-17
    • 文件大小:9216
    • 提供者:weixin_38744435
  1. Siamese Recurrent Architectures for Learning Sentence Similarity.pdf

  2. 用最简单的模型、最简单的特征工程做出好效果,追求的就是极致性价比。如果有需要,可以在此基础上做一些模型更改和特征工程,提高表现效果。ture for face verification developed by Chopra, Hadsell, and This forces the LSTm to entirely capture the semantic dif- LeCun(2005), which utilizes symmetric Conv Nets where ferences d
  3. 所属分类:深度学习

    • 发布日期:2019-10-14
    • 文件大小:1048576
    • 提供者:wolegequya
  1. Logical Foundations of Cyber-Physical Systems

  2. Logical Foundations of Cyber-Physical Systems, André Platzer, 2018Andre platzer Logical Foundations of Cyber-Physical Systems Springer Andre platzer Computer Science department Carnegie mellon university Pittsburgh, Pennsylvania, USA The content of
  3. 所属分类:其它

    • 发布日期:2019-07-04
    • 文件大小:10485760
    • 提供者:weixin_38290023
  1. -CS6301_AI-resolver-prover-源码

  2. 约书亚·纽豪斯(Joshua Newhouse)和瓦西(Vamsi Somepalli) CS6301_AI 源文件列表 使用网络浏览器查看java-doc overview-summary.html页面。 开发环境 Linux 5.4.0-62-通用#70〜18.04.1-Ubuntu SMP x86_64 GNU / Linux Java 1.8 建立程序 为了方便起见,我们提供了预构建的jar,但是如果您想从头开始构建jar,请按照以下说明进行操作。 这是一个Maven项目,因此要从顶
  3. 所属分类:其它

    • 发布日期:2021-03-15
    • 文件大小:12288
    • 提供者:weixin_42134143
  1. gpu-groth16-prover-3x:在O(1)Labs的参考计算机上,此SNARK证明程序比libsnark快3倍!-源码

  2. GPU Groth16证明器(比CPU快3倍) 这是获得2x倍加速奖的GPU Groth16证明者。 它遵循的模板。 该证明者需要使用大量的RAM。 参考机有32GB。 该证明者的预处理步骤很慢! 请注意下面更改的说明。 依存关系 该代码应在安装以下依赖项的Ubuntu 18.04上编译并运行: sudo apt-get install -y build-essential \ cmake \ git \ libomp-dev \ libgmp3-dev
  3. 所属分类:其它

    • 发布日期:2021-03-14
    • 文件大小:6291456
    • 提供者:weixin_42133899
  1. 使用Isabelle定理Prover自动验证河内塔的非递归算法

  2. 使用Isabelle定理Prover自动验证河内塔的非递归算法
  3. 所属分类:其它

    • 发布日期:2021-03-12
    • 文件大小:995328
    • 提供者:weixin_38719890
  1. cheaplogic:基于分辨率的证明者找到所有证明-源码

  2. cheaplogic(实验性) LogicalWorld命题逻辑系统。 我打算建立一个关于世界事实的查询-回答系统。 该系统是非常受限制的一阶。 关键概念:公理x模型矩阵,mgu向量是一个模型。 证明者基于解析原理的简单证明者。 旨在从给定公理中获得所有证明。 simpleprover在指定的搜索空间上运行。 但有时,它陷入无限循环,没有新的解决方案。 viewprover与用户具有GUI交互。 viewprover将Genie.jl用于Web界面。 从某种意义上说,它是一个证明者,它试图
  3. 所属分类:其它

    • 发布日期:2021-02-21
    • 文件大小:453632
    • 提供者:weixin_42131628
  1. 阿诺扎-源码

  2. ANONZZA-使用化名凭证的选择性身份公开公告板 设置项目 使用git clone --recurse-submodules https://gitlab.engr.illinois.edu/anantk3/anon-cred.git 安装依赖项pip install -r requirements.txt 运行代码库 发行者代码位于issuer.py中,可以通过运行python issuer.py在6060端口启动发行者服务 可以通过运行python verifier.py在端口5000上
  3. 所属分类:其它

    • 发布日期:2021-02-20
    • 文件大小:12288
    • 提供者:weixin_42168830
  1. 使用github动作部署到prover-源码

  2. 部署到CARPOVER的GITHUB动作 改善仓库 如果您有什么需要改进的地方
  3. 所属分类:其它

    • 发布日期:2021-02-14
    • 文件大小:37888
    • 提供者:weixin_42164685
  1. enigma-gpu-server:Tensorflow GPU服务器可通过ENIGMA E Prover进行快速评估-源码

  2. ENIGMA GPU服务器 Tensorflow GPU服务器可通过ENIGMA E Prover进行快速评估。 运行服务器 服务器实现位于目录tf-server 。 主要启动文件是tf-server/tf_server_workers_thread.py 。 示例模型在目录models 。 如果您的方案中需要更改默认值( 127.0.0.1和8888 ),请更新文件tf-server/tf_server_workers_thread.py的变量SERVER_IP和SERVER_PORT的值。
  3. 所属分类:其它

    • 发布日期:2021-04-01
    • 文件大小:48234496
    • 提供者:weixin_42099755
  1. tamarin-prover:Tamarin证明程序的主要源代码存储库,用于安全协议验证-Verification code source code

  2. Tamarin证明者资料库 本自述文件描述了Tamarin证明者用于安全协议验证的存储库的组织。 它的目标受众是Tamarin证明者的感兴趣的用户和将来的开发人员。 有关Tamarin证明器的安装和使用说明,请参见手册的第2章: : 发展与贡献 有关如何开发,测试和发布对Tamarin证明者源代码的更改的,请参阅。 版本编号政策 我们使用具有四个组成部分的版本号。 第一个组件是主要版本号。 它指示代码库已完全重写。 第二部分是次要版本号。 我们使用奇数个次要版本号来表示面向早期采用者的
  3. 所属分类:其它

    • 发布日期:2021-03-24
    • 文件大小:15728640
    • 提供者:weixin_42128558