A python 3.6 / PyQt5 based application that assists you as a mathematician in editing diagrams and occasionally in forming proofs.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool