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

该标签暂无描述

How do I prove the simplified Chinese Remainder Th

你好瞎i·2019-08-11 17:23·2 回答·问答

Just a universally quantified hypotesis in coq pro

爷的心禁止访问·2019-08-11 03:30·2 回答·问答

Proven correct receipt module

小情绪 Triste *·2019-08-10 21:52·1 回答·问答

Why does `Hint Resolve X` fail, where `lets : X` w

混吃等死·2019-08-10 15:57· 回答·问答

is there a `eapply`-like tactic that works on `exi

放我归山·2019-08-10 08:06·1 回答·问答

Conversion of nat to Q in Coq

男人必须洒脱·2019-08-08 17:19·1 回答·问答

Applying hypotesis to a variable

霸刀☆藐视天下·2019-08-05 17:04·1 回答·问答

Prove a property of finding the same elements in t

Summer. ? 凉城·2019-08-02 17:54·1 回答·问答

Coq: Non-list Data structures living in Set?

不美不萌又怎样·2019-08-01 06:56·1 回答·问答

even_Sn_not_even_n - apply 1 hypothesis in another

甜甜的少女心·2019-08-01 04:37·1 回答·问答

Using Coq Field axioms

叛逆·2019-07-29 16:31·2 回答·问答

Rewriting at the type level

Luminary・发光体·2019-07-29 01:54·1 回答·问答

How to prove the following in Coq?

ゆ、 Hurt°·2019-07-28 19:37· 回答·问答

Proving equality between instances of dependent ty

【Aperson】·2019-07-26 11:34·1 回答·问答

Ltac: repeating a tactic n times with backtracking

唯我独甜·2019-07-26 01:41· 回答·问答

Are Coq tacticals right associative or left associ

在下西门庆·2019-07-24 07:53·1 回答·问答

Coq: How do I replace terms like “n + 1” with “S n

【Aperson】·2019-07-23 11:04·1 回答·问答

Proof in COQ that equality is reflexivity

爱情/是我丢掉的垃圾·2019-07-22 10:08·2 回答·问答

A simple case of universe inconsistency

混吃等死·2019-07-21 21:18·1 回答·问答

In Coq, “if then else” allows non-boolean first ar

淡お忘·2019-07-19 21:50·1 回答·问答

首页上一页 2 3 4 5 6 7 8 9 下一页最后一页