KnowledgeHub
Questions
Tags
Users
Search
Alex Rivera
|
Logout
Questions tagged
rocq-prover
5 questions
Follow Tag
Sort by:
Newest
Votes
Active
12
votes
1
answers
How can a coq Set or Type be a proposition
types
set
rocq-prover
boolean-expression
first-order-logic
asked 2013-06-22T18:29:02.213
12
votes
1
answers
Impredicative polymorphism in F#
f#
polymorphism
ocaml
rocq-prover
impredicativetypes
asked 2013-03-28T19:01:19.410
18
votes
1
answers
"Verbose" auto in Coq
rocq-prover
verbose
asked 2013-02-17T02:13:32.520
11
votes
1
answers
Unable to find an instance for the variable
rocq-prover
asked 2012-01-16T01:33:08.393
9
votes
6
answers
Interactive math proof system
math
rocq-prover
theorem-proving
isabelle
proof-system
asked 2009-04-10T19:37:31.127