Proof Mode Master Issue

[James-Oswald]

You are free to create new issues for each of these items. This issue is to track proof mode progress.

Functionality:

• Switch to proof mode: #197
• #229
• #230
• #228

Implement Inference Rules:

• #249
• Same Level Resize (Harder) (Requires draw mode resize)
• #215
• #221
• Insertion (Hardest)
• #227
• #251
• #257

[James-Oswald]

Good work team

[James-Oswald]

• Add all inference rules for beta existential graphs

jungkook-dead.mp4

[AnushaTiwari5]

ty dawn and anusha for keeping ryans promises