software-for-teaching

There are 0 repository under software-for-teaching topic.

• janicicpredrag / gclc

  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.

  teaching-geometryautomated-theorem-provinglatextikzmathematical-illustrationssoftware-for-teachinggeometrymathematicstheorem-prover
  Language:C++ 63