Blog-post -- Euclidean Plane Geometry with Julia

[Xing_Shi_Cai]

Hi everyone, I just wrote a new blog post about doing a bit basic geometry with Julia.

Euclidean Plane Geometry with Julia - You don't need to prove this

[j_verzani]

Nicely done, thanks for sharing!

[Xing_Shi_Cai]

I have put the code into a pacakge PlaneGeometry.jl and added a new theorem.