mathlean

Personal project formalizing some math in lean