'coq-extraction' Questions - SpiceQA

Questions Tags Users Badges

coq-extraction

3 Questions

Newest Active Unanswered Frequent

Coq proof usage

user_184941280

• asked Mar 17, 2022

3

1

76

coq-extraction coq

Coq: Strong specification of haskell's Replicate function

user_160037900

• asked May 23, 2021

4

2

168

coq-extraction coqide coq haskell

How to set the module name when extracting Coq to Haskell

user_409160

• asked Sep 14, 2017

7

1

91

coq-extraction coq haskell

1 (current)

Hot Questions