Alex Rivera | Logout

Questions tagged rocq-prover

5 questions

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