Semisimple subalgebras in simple Lie algebras and a computational approach to the compact Clifford–Klein forms problem. Issue 1 (2nd January 2021)