GitHub repository: justicesuh/vgl
Primary language: Coq
Created: 2019-07-15T16:16:31Z
Description: Low-level graphics access for V