search

janicicpredrag / gclc

GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
http://www.matf.bg.ac.rs/~janicic/gclc/
Other
53 stars 7 forks source link

Update `README.md` with a missing option #41

Closed ubavic closed 6 months ago

ubavic commented 6 months ago

This PR was mostly opened in order to test the new PR action.