coq相关问题列表-coq - 码农岛

该标签暂无描述

How to automatically prove simple equality of real

我想做一个坏孩纸·2019-02-20 00:10·1 回答·问答

How to indicate decreasing in size of two Coq indu

老娘就宠你·2019-02-19 07:08·2 回答·问答

What is difference between `destruct` and `case_eq

我命由我不由天·2019-02-18 11:22·1 回答·问答

Which vector library to use in coq?

Rolldiameter·2019-02-18 09:27·2 回答·问答

How to do cases with an inductive type in Coq

Emotional °昔·2019-02-17 03:34·2 回答·问答

The reference “X” was not found in the current env

ゆ、 Hurt°·2019-02-17 02:17·1 回答·问答

How to forbid simpl tactic to unfold arithmetic ex

Explosion°爆炸·2019-02-17 02:08·2 回答·问答

Error in defining Ackermann in Coq

祖国的老花朵·2019-02-16 18:11·3 回答·问答

Inductive subset of an inductive set in Coq

在下西门庆·2019-02-15 22:21·2 回答·问答

Syntax Error with `<` in Coq Notations

淡お忘·2019-02-15 02:07·1 回答·问答

Proving f (f bool) = bool

SAY GOODBYE·2019-02-12 10:02·4 回答·问答

Why Coq doesn't allow inversion, destruct, etc

做自己的国王·2019-02-10 04:04·1 回答·问答

Nested recursion and `Program Fixpoint` or `Functi

劳资没心，怎么记你·2019-02-09 23:37·3 回答·问答

How to call proof asistant Coq from external softw

来，给爷笑一个·2019-02-09 22:47·2 回答·问答

Is it possible to derive induction for the church-

成全新的幸福·2019-02-09 17:43·3 回答·问答

Is there a minimal complete set of tactics in Coq?

不美不萌又怎样·2019-02-06 22:36·1 回答·问答

proofs about regular expressions

女痞·2019-02-01 08:18·5 回答·问答

What are the strengths and weaknesses of the Isabe

贼婆χ·2019-01-30 22:13·3 回答·问答

Writing well-founded programs in Coq using Fix or

干净又极端·2019-01-28 20:10·1 回答·问答

Step by step simplification in coq?

ゆ、 Hurt°·2019-01-23 17:41·2 回答·问答

首页上一页 3 4 5 6 7 8 9 10 下一页