On planarity of graphs in homotopy type theory
scientific article; zbMATH DE number 7927454
scientific article