mirefek/geo_logic

Tool for euclidean geometry aware of logic

50 best points · 11 comments · 1 Hacker News post · 90 GitHub stars · View on GitHub

Hacker News discussions

• Tool for Euclidean geometry aware of logic (50 points, 11 comments, by notpushkin, 2022-07-13)