Mechanical Theorem Proving in Geometries | lit.salon