What are the Right Symmetries for Formal Theorem Proving?

Krzysztof Olejniczak‚ Radoslav Dimitrov‚ Xingyue Huang‚ Bernardo Cuenca Grau‚ Jinwoo Kim and Ismail Ilkan Ceylan