Skip to content

Releases: Paul-Lez/PersistentDecomp

v4.21.0

30 Jun 11:19
@YaelDillies YaelDillies
v4.21.0
5fb30aa

Choose a tag to compare

View all tags
v4.21.0 Latest
Latest 
Bump mathlib to v4.21.0
Assets 2
Loading

v4.20.1

06 Jun 09:58
@YaelDillies YaelDillies
v4.20.1
aad659b

Choose a tag to compare

View all tags
v4.20.1 
Bump mathlib to v4.20.1
Loading

v4.19.0

02 May 21:46
@YaelDillies YaelDillies
v4.19.0
e184668

Choose a tag to compare

View all tags
v4.19.0 
Bump mathlib to v4.19.0
Loading

v4.18.0

04 Apr 08:48
@YaelDillies YaelDillies
v4.18.0
350af30

Choose a tag to compare

View all tags
v4.18.0 
Fix upstreaming dashboard
Loading

v4.17.0

05 Mar 18:58
@YaelDillies YaelDillies
v4.17.0
de03470

Choose a tag to compare

View all tags
v4.17.0 
Bump to mathlib v4.17.0
Loading