#
tikz
Here are 6 public repositories matching this topic...
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
Jul 1, 2024 - C++
The Interactive Nuclear CHart
-
Updated
Feb 9, 2024 - C++
The Grail+ Visualizer is a software tool for visualizing finite automata produced by Grail+.
-
Updated
Mar 25, 2024 - C++
Improve this page
Add a description, image, and links to the tikz topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tikz topic, visit your repo's landing page and select "manage topics."