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

Prove lemma `models_formula_all_or_none_sentences` #36

Open

vaibhavkarve opened this issue Nov 11, 2020 · 0 comments

Labels

action-needed challenging

Owner

vaibhavkarve commented Nov 11, 2020 •

edited

Loading

The lemma currently has a skeleton proof but also has a few sorrys that need to be filled in.

vaibhavkarve added challenging enhancement labels

vaibhavkarve added action-needed and removed enhancement labels

vaibhavkarve changed the title ~~Prove models_all_or_none_sentences~~ Prove lemma models_formula_all_or_none_sentences

vaibhavkarve mentioned this issue

(WIP) add proof sketch for lemma: models all or none sentences #89

Merged

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