move math/* into a separate repository