GitHub repository: possientis/Prog
Primary language: Coq
Created: 2015-08-07T13:24:19Z
Description: basic code practice