Skip to content
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

AEG construction from propositional formulae #327

Open
James-Oswald opened this issue Dec 16, 2023 · 0 comments
Open

AEG construction from propositional formulae #327

James-Oswald opened this issue Dec 16, 2023 · 0 comments
Labels
Enhancement New feature Major Feature Takes a lot of work to implement No API-Break Will not break test results or backwards compatibility. Middle number in semantic versioning
Milestone
PMH 2.0.0

Comments

@James-Oswald
Copy link
Member

In draw mode, users should be able to input a propositional formula and have the application construct an AEG that may be placed
anywhere on the sheet of assertion.
@James-Oswald James-Oswald added the Enhancement New feature label Dec 16, 2023
@James-Oswald James-Oswald added this to the PMH 2.0.0 milestone Dec 16, 2023
@James-Oswald James-Oswald added the Major Feature Takes a lot of work to implement label Dec 16, 2023
@James-Oswald James-Oswald changed the title Proof construction from propositional formulae AEG construction from propositional formulae Dec 16, 2023
@RyanR712 RyanR712 added the No API-Break Will not break test results or backwards compatibility. Middle number in semantic versioning label Jan 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Enhancement New feature Major Feature Takes a lot of work to implement No API-Break Will not break test results or backwards compatibility. Middle number in semantic versioning
Projects
None yet
Milestone
PMH 2.0.0
Development

No branches or pull requests
2 participants
@James-Oswald @RyanR712