Latest version of com.markblokpoel:mathlib_2.13
https://javadoc.io/doc/com.markblokpoel/mathlib_2.13
Current version 0.9.2-b1
https://javadoc.io/doc/com.markblokpoel/mathlib_2.13/0.9.2-b1
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/com.markblokpoel/mathlib_2.13/0.9.2-b1/package-list