0.17.1 • Published 8 months ago
@jscoq/mathcomp-extra v0.17.1
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.