-
Notifications
You must be signed in to change notification settings - Fork 2
Issues: vaibhavkarve/igl2020
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
prove that isomorphic structures satisfy the same theory
challenging
#79
opened Mar 12, 2021 by
vaibhavkarve
Add docstrings for instances defined on theories
documentation
Improvements or additions to documentation
good first issue
Good for newcomers
#78
opened Mar 12, 2021 by
vaibhavkarve
Prove that a full theory is isomorphism invariant
enhancement
New feature or request
#77
opened Mar 12, 2021 by
vaibhavkarve
add statement and proof of lemma Good for newcomers
eq_full_theory_iff_elementary_equivalent
good first issue
#76
opened Mar 12, 2021 by
vaibhavkarve
add definition for Good for newcomers
full_theory
good first issue
#75
opened Mar 12, 2021 by
vaibhavkarve
Define equivalence of formulas
good first issue
Good for newcomers
#42
opened Nov 17, 2020 by
eionblanc
Prove theory of DLO has quantifier elimination
challenging
enhancement
New feature or request
#41
opened Nov 17, 2020 by
eionblanc
Prove lemma
models_formula_all_or_none_sentences
action-needed
challenging
#36
opened Nov 11, 2020 by
vaibhavkarve
Prove lemma New feature or request
iff_models_formula_relation_of_identical_var_assign
challenging
enhancement
#35
opened Nov 11, 2020 by
vaibhavkarve
First-order logical statements for o-minimality
challenging
enhancement
New feature or request
#15
opened Oct 14, 2020 by
sharma65
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.