pepy.tech

newclid

2.0.2
3.33k

Symbolic solver for geometric problems.