Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Apply simplification to Imp and Iff connectives #4533
Apply simplification to Imp and Iff connectives #4533
Changes from 1 commit
4235832
7ac0fbe
943ade9
b52e014
99a24cc
0f76db6
81ce40e
1224fd2
80bde0a
09dcb06
ec7b088
56ebbf7
7234e99
4228f5c
4dc1c0e
4ffe6d0
bd17def
915c68e
1ce4aeb
85f0ee1
493b912
33b2b97
30677dd
3289695
082e19a
2d973cf
77443c1
16b77c2
e6bda87
fad1c8d
b08ffef
0c3c0a3
9ed2257
e7ee237
2b769f9
08daf27
e53ed77
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
This merge commit was added into this branch cleanly.
There are no new changes to show, but you can still view the diff.