Skip to content

Releases

v4.21.0

v4.21.0 Latest
Latest

Choose a tag to compare

View all tags
@YaelDillies YaelDillies released this 30 Jun 09:30
v4.21.0
650be76 
Bump mathlib to v4.21.0
Assets 2
Loading

v4.20.1

v4.20.1

Choose a tag to compare

View all tags
@YaelDillies YaelDillies released this 06 Jun 08:52
v4.20.1
4b2c5ca 
Bump mathlib to v4.20.1
Loading

v4.19.0

v4.19.0

Choose a tag to compare

View all tags
@YaelDillies YaelDillies released this 02 May 20:15
v4.19.0
61769c8 
Bump mathlib to v4.19.0
Loading

v4.18.0

v4.18.0

Choose a tag to compare

View all tags
@YaelDillies YaelDillies released this 04 Apr 09:44
v4.18.0
9a8fb15 
Bump mathlib to v4.18.0
Loading

v4.17.0

v4.17.0

Choose a tag to compare

View all tags
@YaelDillies YaelDillies released this 05 Mar 15:10
v4.17.0
5763324 
Bump mathlib to v4.17.0 (#10)
Loading