This document allows for easy navigation through the per-class documentation of CoqPyt. Within this folder, all classes are organized the same as they are in the source code with the files containing the classes are folders with each class existing as a separate markdown file.