feat: let either work with uninformative or if the goal is a prop #131
Annotations
10 warnings
|
tests/automation/Chains.v#L45
Interpreting this declaration as if a global declaration prefixed by
|
|
tests/automation/Chains.v#L46
Interpreting this declaration as if a global declaration prefixed by
|
|
tests/util/MessagesToUser.v#L25
This warning _should_ be printed.
|
|
tests/tactics/Conclusion.v#L143
Interpreting this declaration as if a global declaration prefixed by
|
|
tests/tactics/Conclusion.v#L144
Interpreting this declaration as if a global declaration prefixed by
|
|
tests/tactics/Conclusion.v#L166
Interpreting this declaration as if a global declaration prefixed by
|
|
tests/tactics/Contradiction.v#L64
Interpreting this declaration as if a global declaration prefixed by
|
|
tests/tactics/ItSuffices.v#L77
Interpreting this declaration as if a global declaration prefixed by
|
|
tests/tactics/ItSuffices.v#L78
Interpreting this declaration as if a global declaration prefixed by
|
|
tests/tactics/ItSuffices.v#L97
Interpreting this declaration as if a global declaration prefixed by
|
The logs for this run have expired and are no longer available.
Loading