0.16.0 • Published 2 years ago
@wacoq/mathcomp-extra v0.16.0
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.