pepy.tech

newclid

2.0.2
3.21k

Symbolic solver for geometric problems.