/addon-mathcomp-extra

More Mathematical Components for jsCoq

Primary LanguageMakefile

addon-mathcomp-extra

More Mathematical Components addon for jsCoq

This bundles together assorted libraries from the mathcomp org that are not included in the core https://github.com/mathcomp/mathcomp.