Auxiliary platform for the graduate course `Lie Groups and Lie Algebras' (李群李代数). - View it on GitHub