I quoted the rest so that it was clear that the key phrase ‘from scratch all the statements’ was referring to a computational, implemented, software package for Euclidean / plane geometry in particular.
I quoted the rest so that it was clear that the key phrase ‘from scratch all the statements’ was referring to a computational, implemented, software package for Euclidean / plane geometry in particular.