@misc{indiciaef01c7d556103,
  title = {Formalizing the Face Lattice of Polyhedra},
  author = {Xavier Allamigeon and Ricardo D. Katz and Pierre-Yves Strub},
  year = {2022},
  doi = {10.46298/lmcs-18(2:10)2022},
  url = {https://arxiv.org/abs/2104.15021},
  note = {Source identifier: 2104.15021}
}