Low-level graphics access for V
Primary LanguageCoqMIT LicenseMIT
VGL provides low-level access to the OpenGL and GLFW libraries.