Skip to content

Commit

Permalink
feat(tactic/ring): treat expr atoms up to defeq
Browse files Browse the repository at this point in the history
  • Loading branch information
@digama0
digama0 committed Apr 19, 2019
1 parent d0140dd commit 3c1dce1
Show file tree
Hide file tree
Showing 2 changed files with 156 additions and 122 deletions.

0 comments on commit 3c1dce1

Please sign in to comment.