1 result found Sort:

janicicpredrag
gclc janicicpredrag
7
55
other
7
GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
tikz latex geometry mathematics theorem-prover teaching-geometry software-for-teaching automated-theorem-proving mathematical-illustrations
Created 2020-12-05
325 commits to master branch, last one about a month ago