Alex Rivera | Logout

Questions tagged first-order-logic

1 question

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