mirefek/geo_logic

Tool for euclidean geometry aware of logic

Python