1 result found Sort:

GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
Created 2020-12-05
325 commits to master branch, last one 21 days ago