GitHub repository: uwplse/arvo
Primary language: C
Created: 2015-08-10T00:30:53Z
Description: A proof assistant.