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.

Sign up for GitHub

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

Jump to bottom

Add verification of custom sequents #11

Open

olligobber opened this issue Jul 16, 2018 · 1 comment

Labels

enhancement new feature

Owner

olligobber commented Jul 16, 2018

This should not block, as addition of contingent sequents should be allowed, and sequents can be large and take a long time to verify

olligobber added the enhancement label

Owner Author

olligobber commented Mar 2, 2021

Since first order logic is being added, this could work by uploading a proof of the custom sequent, though that could lead to deeply nested proofs.

olligobber added the new feature label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment