Skip to content

v2.5.0-0.8.0

Choose a tag to compare

View all tags
@kustosz kustosz released this 16 Feb 18:12
v2.5.0-0.8.0
8ac48b4
  • Changes the generated references to the Vector datatype to be compatible with new versions of Mathlib.
Assets 2
Loading