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

该标签暂无描述

how to install coq contribs using git?

Deceive 欺骗·2019-07-19 04:40·2 回答·问答

Can destruct used in implication in Coq?

Ridiculous、·2019-07-17 16:37·1 回答·问答

Dependent pattern matching in coq

Bombasti·2019-07-17 01:22·2 回答·问答

Coq: Prove equality of two factorial functions usi

Bombasti·2019-07-15 01:36·2 回答·问答

Import vs. Include in Coq Module

你好瞎i·2019-07-11 12:02·1 回答·问答

Use proof of if expression = true in then part coq

beautiful°·2019-07-08 09:56·1 回答·问答

COQ identity term which is not eq_refl

Animai°情兽·2019-07-05 03:38·1 回答·问答

Wellfounded induction in CoQ

相关推荐>>·2019-07-04 11:39·2 回答·问答

Problems with dependent types in Coq proof assista

Rolldiameter·2019-07-02 12:04·2 回答·问答

OCaml and preprocessor have incompatible versions

可以哭但决不认输i·2019-06-28 04:47·1 回答·问答

what does the colon greater than sign mean in coq

霸刀☆藐视天下·2019-06-25 10:24·1 回答·问答

In Coq, is there a way to get rid of “useless” pre

成全新的幸福·2019-06-25 07:58·1 回答·问答

Why does constructor take such a long time here?

Juvenile、少年°·2019-06-25 01:44·1 回答·问答

Why must coq mutually inductive types have the sam

Bombasti·2019-06-23 17:02·1 回答·问答

Making and comparing Sets in Coq

女痞·2019-06-22 14:13·2 回答·问答

How to apply a function once during simplification

放荡不羁爱自由·2019-06-22 07:49·1 回答·问答

Coq: unfolding class instances

趁早两清·2019-06-22 04:15·1 回答·问答

How can I prove propositional extensionality in Co

我命由我不由天·2019-06-22 00:03·3 回答·问答

Is there a way to disable a specific notation in C

兄弟一词,经得起流年.·2019-06-21 11:35·2 回答·问答

Purpose of maximal vs non-maximal implicit argumen

Evening l夕情丶·2019-06-20 17:25·1 回答·问答

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