On planarity of graphs in homotopy type theory

DOI10.1017/s0960129524000100MaRDI QIDQ6620019

Jonathan Prieto-Cubides, Håkon Robbestad Gylterud

Publication date: 16 October 2024

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

planarityformalisation of mathematicscombinatorial mapsunivalent mathematics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Combinatorics (05-XX)

This page was built for publication: On planarity of graphs in homotopy type theory