RENE: a Maple package for stating and proving theorems in Geometry | Hacker News Reader