-
Notifications
You must be signed in to change notification settings - Fork 4
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.
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
Add Node, Theorem, Proof Model/Classes #302
Conversation
Add Node, Theorem and Proof Model/Classes with unit tests. Dependent models of them are also created with no content.
Remove tests for many to many fields. These should be added after those models are implemented.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This PR can be merged after the necessary additions are made to Node model
Updated node references as two lists: from referenced and to referenced with unit tests. Also set related name of proof foreign key to node as "proofs" to access the proof list of a node with that name
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
All looks good
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
All things seems to be working smoothly.
Add Node, Theorem and Proof Model/Classes with unit tests. Dependent models of them are also created with no content.