PR #1389 feat(sanity_check): greatly improve performance

feat(sanity_check): greatly improve performance #1389

mergify merged 10 commits into master from sanity_check

fpvandoorn requested a review 6 years ago

feat(sanity_check): greatly improve performance

1d108b77

move and rename is_in_mathlib_aux

b421c4f0

use boolean connectives in some other places

72d3a631

remove some whitespace

e369cad5

fix parentheses, fix tests

b2bdd7c0

add ! as boolean negation

e6ead315

fix binding strength

f6c7fe85

undo the use of boolean connectives

0183f891

fpvandoorn force pushed from 2249dfb6 to 0183f891 6 years ago

add back notation ! for bnot

a9334a17

robertylewis approved these changes on 2019-09-10

robertylewis added ready-to-merge

Merge branch 'master' into sanity_check

88e217ee

mergify merged 72d6325a into master 6 years ago

mergify deleted the sanity_check branch 6 years ago

Reviewers

robertylewis

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone