coq - 码农岛

该标签暂无描述

How to switch the current goal in Coq?

闹够了就滚·2020-08-10 08:08· 评论·文章

What does “Error: Universe inconsistency” mean in

地球回转人心会变·2020-08-09 11:23·1 回答·问答

What does “Error: Universe inconsistency” mean in

傲·2020-08-09 11:10· 评论·文章

Coq - use Prop (True | False) in if … then … else

疯言疯语·2020-07-10 05:56·1 回答·问答

Coq - use Prop (True | False) in if … then … else

傲·2020-07-10 05:54· 评论·文章

Consistent formulations of sets in Coq?

太酷不给撩·2020-07-03 09:29·1 回答·问答

Consistent formulations of sets in Coq?

再贱就再见·2020-07-03 09:17· 评论·文章

Different induction principles for Prop and Type

成全新的幸福·2020-06-23 01:23·1 回答·问答

Different induction principles for Prop and Type

傲·2020-06-23 02:04· 评论·文章

Coq: Prop versus Set in Type(n)

仙女界的扛把子·2020-06-11 10:58· 评论·文章

Coq: Prop versus Set in Type(n)

来，给爷笑一个·2020-06-11 10:21·2 回答·问答

Coq can't compute a well-founded function on Z

聊天终结者·2020-06-06 04:55· 评论·文章

Coq can't compute a well-founded function on Z

ら.Afraid·2020-06-06 05:02·1 回答·问答

What exactly is a Set in COQ

男人必须洒脱·2020-06-02 05:11·2 回答·问答

What exactly is a Set in COQ

男人必须洒脱·2020-06-02 05:29· 评论·文章

Require, Import, Require Import

Viruses.·2020-05-27 05:49·1 回答·问答

Require, Import, Require Import

神经病院院长·2020-05-27 05:52· 评论·文章

Can Coq be used (easily) as a model checker?

淡お忘·2020-05-19 03:49·3 回答·问答

Can Coq be used (easily) as a model checker?

贪生不怕死·2020-05-19 03:50· 评论·文章

Can I extract a Coq proof as a Haskell function?

男人必须洒脱·2020-05-14 04:15· 评论·文章

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