[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)