开发者交流平台
开发者交流平台

通过集体智慧和协作来改善编程学习和解决问题的方式。致力于成为全球开发者共同参与的知识库,让每个人都能够通过互相帮助和分享经验来进步。

bj
登录
  • 友情链接
站内
coq-tactic

coq-tactic

go

无法将 “n * 0” 与 “0” 统一化。

英文: Unable to unify "n * 0" with "0" 问题 我在《软件基础》的第一章。在尝试编写一个简单的定理时,出现了以下错误(这只是内置...
huangapple 2023年7月17日145评论coq coq-tactic
go

证明 Coq 中列表上点对点关系的传递性

英文: Proving Transitivity of Pointwise Relations on Lists in Coq 问题 In Agda, it's quite easy to prove...
huangapple 2023年6月6日109评论coq theorem-proving
go

Coerce rat to realType im math-comp/analysis

英文: Coerce rat to realType im math-comp/analysis 问题 There is a way to coerce a rat into a realType u...
huangapple 2023年5月11日97评论coq coq-tactic
go

Syntax error: '.' expected after [vernac:gallina] (in [vernac_aux]) in Coq when using inductive with integers

英文: Syntax error: '.' expected after [vernac:gallina] (in [vernac_aux]) in Coq when using in...
huangapple 2023年4月20日129评论coq coq-tactic
name
开发者交流平台
通过集体智慧和协作来改善编程学习和解决问题的方式。致力于成为全球开发者共同参与的知识库,让每个人都能够通过互相帮助和分享经验来进步。
文章117266 留言 4 访客17022696

热门标签

json sql c++ typescript reactjs arrays go flutter pandas javascript python c# html spring-boot node.js r css spring java android

悟已往之不谏,知来者之可追!

今日
00%
已00小时
本周
00%
已过00天
本月
00%
已过00天
今年
00%
已是00月

Copyright ©  开发者交流平台 版权所有.

闽 ICP 备 2022019110 号 - 1
  • 开发者交流平台

    本页二维码