1 paper
Jonathan Prieto-Cubides, Håkon Robbestad Gylterud
In this paper, we present a constructive and proof-relevant development of graph theory, including the notion of maps, their faces, and maps of graphs embedded in the sphere, in ho…