Skip to content

Releases: teorth/pfr

v4.21.0

03 Jul 12:31
@YaelDillies YaelDillies
v4.21.0
a14e4b1

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 10:12
@YaelDillies YaelDillies
v4.20.1
c750735

Choose a tag to compare

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

v4.19.0

02 May 22:30
@YaelDillies YaelDillies
v4.19.0
859f6b2

Choose a tag to compare

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

v4.18.0

04 Apr 15:21
@YaelDillies YaelDillies
v4.18.0
0010cb5

Choose a tag to compare

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

v4.17.0

05 Mar 21:12
@YaelDillies YaelDillies
v4.17.0
620466f

Choose a tag to compare

View all tags
v4.17.0 
Steal FLT's blueprint CI
Loading