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

Lemma Files #62

Open
joekrystowski opened this issue May 24, 2022 · 0 comments
Open

Lemma Files #62

joekrystowski opened this issue May 24, 2022 · 0 comments
Assignees
@joekrystowski
Labels
feature a new feature jointjs likely involves joint library usage priority current focus for development

Comments

@joekrystowski
Copy link
Collaborator

joekrystowski commented May 24, 2022 •
edited
Loading

  • Save proofs as lemmas
  • Apply lemmas to other graphs with the same structure. (Can be applied on any even level)
  • For any odd levels, you can take the goal of the lemma and get the start of the lemma
@joekrystowski joekrystowski added jointjs likely involves joint library usage feature a new feature priority current focus for development labels May 24, 2022
@joekrystowski joekrystowski self-assigned this May 24, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@joekrystowski joekrystowski

Labels
feature a new feature jointjs likely involves joint library usage priority current focus for development
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@joekrystowski