GitHub repository: thery/mathcomp-extra
Primary language: Coq
Created: 2019-07-18T11:59:59Z
Description: Extra contribution for mathcomp