[HN Gopher] Tool for euclidean geometry aware of logic ___________________________________________________________________ Tool for euclidean geometry aware of logic Author : notpushkin Score : 9 points Date : 2022-07-13 09:30 UTC (3 days ago) (HTM) web link (github.com) (TXT) w3m dump (github.com) | silentOpen wrote: | This seems a lot like the great game Euclidea | https://www.euclidea.xyz/ where you have to build target | constructions in minimal steps. I highly recommend it for getting | your proof fix on-the-go in your pocket when you may not have | your favorite proof environment to hand. Happy proving! ___________________________________________________________________ (page generated 2022-07-16 23:00 UTC)