1. J. F. Adams . 1996. Lectures on exceptional Lie groups . University of Chicago Press , Chicago, IL . isbn:0-226-00526-7; 0-226-00527-5 With a foreword by J. Peter May, Edited by Zafer Mahmud and Mamoru Mimura J. F. Adams. 1996. Lectures on exceptional Lie groups. University of Chicago Press, Chicago, IL. isbn:0-226-00526-7; 0-226-00527-5 With a foreword by J. Peter May, Edited by Zafer Mahmud and Mamoru Mimura
2. Edward Ayers . 2021. Widgets: interactive output in VSCode . In Lean Together 2021 , January 4–7, 2021. https://leanprover-community.github.io/lt2021/schedule.html Edward Ayers. 2021. Widgets: interactive output in VSCode. In Lean Together 2021, January 4–7, 2021. https://leanprover-community.github.io/lt2021/schedule.html
3. The algebra of grand unified theories
4. Anthony Bordg and Nicolò Cavalleri . 2021. Elements of Differential Geometry in Lean: A Report for Mathematicians. CoRR, abs/2108.00484 ( 2021 ), arXiv:2108.00484. arxiv:2108.00484 Anthony Bordg and Nicolò Cavalleri. 2021. Elements of Differential Geometry in Lean: A Report for Mathematicians. CoRR, abs/2108.00484 (2021), arXiv:2108.00484. arxiv:2108.00484
5. Nicolas Bourbaki . 1998. Lie groups and Lie algebras . Chapters 1–3. Springer-Verlag , Berlin . isbn:3-540-64242-0 Translated from the French, Reprint of the 1989 English translation Nicolas Bourbaki. 1998. Lie groups and Lie algebras. Chapters 1–3. Springer-Verlag, Berlin. isbn:3-540-64242-0 Translated from the French, Reprint of the 1989 English translation