mathlib - Release for JOSS

This release is part of the Journal for Open Source Software publication. To use mathlib it is recommended to use the import methods descriped in the README.

Scientific Software - Peer-reviewed - Scala
Published by markblokpoel over 1 year ago