Mechanical Theorem Proving in Tarski’s Geometry

Cached


by Julien Narboux
Citations:9 - 3 self