So, i can describe eucledian geometry terms in set theory. Points, line segments, angle properties, distance ratios

My guess is i can build a small CAS with a proof validator. Could it make an interesting waste of time ? Im bored out of my skull and to be honest, college is kil, fapping has started to be painful and schizoposting is kind of meh for my tastes.