LRXRX 2022-11-28 21:46 采纳率: 0%
浏览 17
已结题

coq问题求带，有偿

本人大学生，我想证明关于knight和knave的定理，中途遇到问题。

  • 写回答

1条回答 默认 最新

  • yy64ll826 2022-11-29 17:36
    关注

    Zenefits CodeSprint：Knight or Knave
    https://blog.csdn.net/u010885899/article/details/49981527

    评论

报告相同问题？

  • json_decode（）返回NULL - php json php
    2016-01-23 07:00
    回答 3 已采纳 This works fine $wsdl = "http://2xx.xx7.2xx.xxx/YCCEANDROIDANDROID/AndroidService.asmx?WSDL"; $cl
  • AJAX将PHP数据返回到页面 ajax php
    2014-03-13 01:58
    回答 2 已采纳 Solution found! This updates the field value to mark message as read and shows the message in the
  • 如何自动检查mysql数据库中的复选框 javascript jquery mysql php
    2012-03-04 03:38
    回答 2 已采纳 <?php $find_fav_brands = " SELECT Brands FROM favoriteBrands WHERE fkCompanyID=$company_id";
  • metacoq:Coq中的元编程
    2021-04-29 20:07
    MetaCoq是一个在Coq中正式化Coq的项目，并提供了用于在Coq中操纵Coq术语和开发经过认证的插件（即翻译，编译器或策略）的工具。 快跳 入门 您可能想从开始。 当前的分支 。 项目不同部分的。 安装说明 参见...
  • concepts-of-proglangs:Coq实现的Atsushi Igarashi的“编程语言的基本概念”
    2021-04-30 15:01
    它是由Coq对Atsushi Igarashi“编程语言的基本概念”的实现。 目录 第1部分：派生系统简介 第1章：自然数的加法/乘法/比较： 第2章：和归纳证明： 第2部分：机器学习的操作语义 第3章：整数/布尔表达式的求值： 第...
  • Coq311:函数式编程和数据结构课程
    2021-06-22 02:33
    Coq311 函数式编程和数据结构课程灵感来自康奈尔大学的 ，并从其翻译而来。
  • coq-system_f:Coq中System F语言的简单编码
    2021-05-02 08:40
    coq-system_f Coq中System F语言的简单编码 依存关系 标准版++
  • Cocasse:Coq 中的渐进式认证编程库
    2021-05-30 19:45
    Coq 中的渐进式认证编程库 作者 Nicolas Tabareau (Inria) 和 Éric Tanter (U.Chile) 用法 要编译 coq 文件，您需要 Coq 的主干分支（可在，提交 c2d053c6）。 只需在存储库中键入“ make”，其余的工作将由coq_...
  • habanero-coq：Habanero编程模型的Coq形式化
    2021-02-04 00:27
    Habanero编程模型的Coq形式化 编程模型的形式化。 我们主要关注属性的形式化，例如死锁自由和种族自由。 该项目的总体目标是提供理论框架，阅读Coq库，以验证同步机制。 刊物 使用Coq对Habanero移相器进行形式化。 ...
  • dafny-sandbox:达夫尼的编程语言元理论
    2021-05-13 14:59
    达夫尼的编程语言元理论。达夫尼Dafny是开发的一种用于功能正确性自动程序验证程序。软件基础Software Foundations是一本用编写的有关编程语言的教科书，。 我已经将软件基础的某些部分从Coq翻译为Dafny。超越软件...
  • coq函数式编程 list
    2012-10-29 21:56
    Coq 函数式编程 形式化方法课程讲义 list 链表操作
  • 【coq】函数语言设计 笔记 01 - basics
    2021-11-22 14:38
    NRbene的博客 coq-software-foundation learning notes 一、Functional Programming in Coq (Basics) 参考博客： https://www.cnblogs.com/TheFutureIsNow/p/11569756.html 定义一个类型 在coq中，一个变量的类型往往表示为 var_...
  • coq-tutorial
    2021-06-21 13:19
    (2007+) — 基于 Coq 的逻辑、函数式编程和编程语言基础教科书 许可 该库是在宽松的 BSD 3 条款许可下发布的，有关详细信息，请参阅文件LICENSE 。 简而言之，这意味着您可以用它做任何您喜欢的事情，只要您保留...
  • haskell-coq:用Coq（GALLINA）定理证明语言编写的常见Haskell类型类，用于证明有关Haskell数据类型和函数的属性[Coq]
    2021-05-26 21:59
    Coq中的Haskell类型类编写与Coq一起使用的常见Haskell类型类的文章，以帮助证明有关实例的属性，以期希望能早日发现实现中的错误。 仍在进行中。
  • regexp_coq
    2021-02-08 01:55
    Coq中的正则表达式 作为一个大学项目开始，此项目尝试在Coq中定义正则表达式并证明相关的引理和性质。 单词和语言的定义如下： Notation word := (list A). Notation language := (word -> Prop). 并被用来开发更...
  • StructTact:Coq实用程序和战术库
    2021-05-17 17:29
    结构式 StructTact是结构策略的Coq库，以及有关列表，有限类型和使用该策略的字符串顺序的引理。 结构性策略提供了一种证明样式，其中从未提及过假设名称。 当自动生成的名称在证明开发过程中更改时，结构策略仍将起...
  • 各个编程语言编译器源码收集
    2022-02-05 11:04
    Chesium的博客 心血来潮在 Github 收集了各个主流编程语言的编译器源码，列出了各个编译器文件链接以及实现语言
  • coq-dpdgraph:在COQ对象之间建立依赖关系图
    2021-05-05 01:56
    coq-dpdgraph 在Coq对象之间建立依赖关系图，其中Coq是著名的形式证明管理系统（请参阅 ）。 Travis CI在主分支上的状态： 里面有什么？ 首先，它是一个小型工具（一个Coq插件），用于提取Coq对象之间的依赖关系...
  • Coq教程The Coq Proof Assistant
    2019-09-09 11:23
    Coq教程The Coq Proof Assistant，作者：Gérard Huet, Gilles Kahn and Christine Paulin-Mohring
  • coq-of-ocaml：将OCaml程序导入Coq
    2021-01-31 13:43
    食用辅酶将OCaml程序导入Coq。 从文件main.ml开始： type 'a tree = | Leaf of 'a | Node of 'a tree * 'a treelet rec sum tree = match tree with | Leaf n -> n | Node ( tree1 , tree2 ) -> sum tree1 + sum ...
  • 没有解决我的问题, 去提问

问题事件

  • 系统已结题 12月6日
  • 创建了问题 11月28日

悬赏问题

  • ¥60 更换迈创SOL6M4AE卡的时候，驱动要重新装才能使用，怎么解决？
  • ¥15 让node服务器有自动加载文件的功能
  • ¥15 jmeter脚本回放有的是对的有的是错的
  • ¥15 r语言蛋白组学相关问题
  • ¥15 Python时间序列如何拟合疏系数模型
  • ¥15 求学软件的前人们指明方向🥺
  • ¥50 如何增强飞上天的树莓派的热点信号强度，以使得笔记本可以在地面实现远程桌面连接
  • ¥20 双层网络上信息-疾病传播
  • ¥50 paddlepaddle pinn
  • ¥20 idea运行测试代码报错问题