GitHub repository: mirefek/geo_logic
Primary language: Python
Created: 2019-09-10T13:54:53Z
Description: Tool for euclidean geometry aware of logic