reference. A construction of the lie algebra of a lie group in isabelle/HOL [schmoetten2024construction]
✍️source

2024
Richard Schmoetten, Jacques D Fleuriot

@article{schmoetten2024construction,
 title = {A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL},
 author = {Schmoetten, Richard and Fleuriot, Jacques D},
 year = {2024},
 journal = {arXiv preprint arXiv:2407.19211}
}