PR #949 feat(tactic/ring): treat expr atoms up to defeq

feat(tactic/ring): treat expr atoms up to defeq #949

mergify merged 2 commits into master from ring-defeq

feat(tactic/ring): treat expr atoms up to defeq

3c1dce17

digama0 requested a review 7 years ago

cipher1024 approved these changes on 2019-04-19

cipher1024 added ready-to-merge

Merge branch 'master' into 'ring-defeq'

98c200cf

mergify merged e4fc5afd into master 7 years ago

mergify deleted the ring-defeq branch 7 years ago

bryangingechen added t-meta

Reviewers

cipher1024

Assignees

No one assigned

Labels

ready-to-merge t-meta

Milestone

No milestone