Giters
mirefek
/
geo_logic
Tool for euclidean geometry aware of logic
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
77
Watchers:
5
Issues:
2
Forks:
8
mirefek/geo_logic Issues
Unknown signal name: draw
Closed
a year ago
Comments count
5
Is it possible to prove trig identities?
Closed
3 years ago
Comments count
2