4th International Workshop about Sets and Tools (Sets 2023) September 4-8, 2023 Cambridge, UK https://www.lirmm.fr/sets2023/ #mathematics #sets #automated #theorem #provers #coq #smt #solvers