GitHub repository: jscoq/addon-mathcomp-extra
Primary language: Makefile
Created: 2021-07-08T15:28:43Z
Description: More Mathematical Components for jsCoq