Title: A PVS graph theory library
Subjects: Libraries, Graph theory