Skip to content

Releases: YaelDillies/LeanCamCombi

v4.21.0

30 Jun 11:42
@YaelDillies YaelDillies
v4.21.0
cd307b9

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 08:29
@YaelDillies YaelDillies
v4.20.1
6ac2c45

Choose a tag to compare

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

v4.19.0

02 May 19:26
@YaelDillies YaelDillies
v4.19.0
f842fc7

Choose a tag to compare

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

v4.18.0

04 Apr 07:40
@YaelDillies YaelDillies
v4.18.0
b1def00

Choose a tag to compare

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

v4.17.0

05 Mar 15:02
@YaelDillies YaelDillies
v4.17.0
4e5cfa9

Choose a tag to compare

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