Text this: Formalizing the Face Lattice of Polyhedra