PR #924 fix(tactic/explode): more accurate may_be_proof

fix(tactic/explode): more accurate may_be_proof #924

digama0 merged 1 commit into master from explode

fix(tactic/explode): more accurate may_be_proof

5edf9183

digama0 requested a review 6 years ago

digama0 merged c1e07a2e into master 6 years ago

digama0 deleted the explode branch 6 years ago

bryangingechen added t-meta

Reviewers

No reviews

Assignees

No one assigned

Labels

t-meta

Milestone

No milestone