This package originated from a blog post I wrote on proving Napoleon's theorem with Julia. I have since cleaned up the code and add a new theorem. Please see the document for details.
This package originated from a blog post I wrote on proving Napoleon's theorem with Julia. I have since cleaned up the code and add a new theorem. Please see the document for details.