GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
latex geometry mathematics tikz theorem-prover automated-theorem-proving teaching-geometry mathematical-illustrations software-for-teaching
-
Updated
Oct 16, 2024 - C++