Simplicial Complexes and Boolean functions. - Jesús Aransay; Alejandro del Campo; Julius Michaelis (Arch. Formal Proofs, 2021)