Skip to content

Commit

Permalink
First Order Logic
Browse files Browse the repository at this point in the history 
Mechanistic port of sympy/sympy#7608 for Diofant

// edited by @skirpichev

100% test coverage.
  • Loading branch information
@skirpichev
Soumya Dipta Biswas authored and skirpichev committed Oct 8, 2019
1 parent b3ba156 commit 945236c
Show file tree
Hide file tree
Showing 6 changed files with 1,408 additions and 3 deletions.
Loading

0 comments on commit 945236c

Please sign in to comment.