GitHub repository: srbmiy/ssreflect
Primary language: Coq
Created: 2015-02-15T07:06:02Z
Description: ssreflect library