Tool for euclidean geometry aware of logic - View it on GitHub