In the Proving Session, we aim to explore various computational tools, such as Prover9, Mace4, and GAP, to obtain new results.Â
The idea is to study an article proposed by the organization and to generalize some of its results. Our practical goal is to highlight the techniques available in the mentioned computational systems. We seek to foster a collaborative environment to explore the potential of interaction between mathematicians and machines.