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

Save and load proofs as the history of AEGs #228

Closed

Tracked by

James-Oswald opened this issue Nov 8, 2023 · 1 comment · Fixed by #239

Closed

Tracked by

Save and load proofs as the history of AEGs #228

James-Oswald opened this issue Nov 8, 2023 · 1 comment · Fixed by #239

Assignees

Labels

Enhancement required

Milestone

Milestone 7: Demo 4

Member

James-Oswald commented Nov 8, 2023

No description provided.

James-Oswald mentioned this issue

Proof Mode Master Issue #208

Closed

12 tasks

AnushaTiwari5 self-assigned this

AnushaTiwari5 added this to the Milestone 6: Demo 3 milestone

AnushaTiwari5 linked a pull request

that will close this issue

228 save and load proofs as the history of aegs #239

Merged

James-Oswald modified the milestones: Milestone 6: Demo 3, Milestone 7: Demo 4

Collaborator

AnushaTiwari5 commented Nov 15, 2023 •

edited

Loading

Rework proof structure (ts list instead of our own)
Proof node should have rule name
Save name should be => Eg: A=>(A(A).json

James-Oswald added Enhancement required labels

AnushaTiwari5 closed this as completed in #239

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