asc-community / asc-community/AngouriMath
Quantifiers
Open
Accepted
Proposal
- Dominant language
- C#
- Stars
- 831
- Forks
- 79
- Avg merge
- 3h 23m
- Merged PRs (30d)
- 309
Description
Neither Mathematica nor SymPy has the existence and universal quantifiers. It would be nice to have them, for example, like that:
`exists x in R and x < 3 so x ^ 2 = 4`
and
`forall x in C exists y in P such Im(x) = y`
Contributor guide
Assessment
This issue has not been assessed yet.