Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Results tagged with coq
Search options not deleted
user 4469
Coq is a formal proof management system. It is often referred to as a proof assistant.
3
votes
1
answer
105
views
Inductive from CoInductive?
For example, imagine you had Coq only with the CoInductive statement, but not Inductive statement, nor did you do the same by making equivalent Axioms. (Other axioms are okay.) …