Skip to content

Releases: leanprover-community/lean

v3.51.1

24 May 19:33
@github-actions github-actions
v3.51.1
cce7990

Choose a tag to compare

View all tags
v3.51.1 Latest
Latest 
chore(*): release 3.51.1 (#809)
Assets 7
Loading

v3.51.0

17 May 18:55
@gebner gebner
v3.51.0
9fc1dee

Choose a tag to compare

View all tags
v3.51.0 
chore(*): release 3.51.0 (#807)
Loading

v3.50.3

26 Dec 20:08
@gebner gebner
v3.50.3
855e5b7

Choose a tag to compare

View all tags
v3.50.3 
chore(*): release 3.50.3 (#800)
Loading

v3.50.2

23 Dec 22:24
@gebner gebner
v3.50.2
a4f95b7

Choose a tag to compare

View all tags
v3.50.2 
chore(*): release 3.50.2 (#798)
Loading

v3.50.1

21 Dec 18:52
@gebner gebner
v3.50.1
87f1037

Choose a tag to compare

View all tags
v3.50.1 
chore(*): release 3.50.1 (#795)
Loading

v3.50.0

15 Dec 00:38
@gebner gebner
v3.50.0
ffe5a17

Choose a tag to compare

View all tags
v3.50.0 
chore(*): release 3.50.0 (#793)
Loading

v3.49.1

18 Nov 17:02
@gebner gebner
v3.49.1
53e8520

Choose a tag to compare

View all tags
v3.49.1 
chore(*): release 3.49.1 (#786)
Loading

v3.49.0

11 Nov 20:08
@gebner gebner
v3.49.0
acf633e

Choose a tag to compare

View all tags
v3.49.0 
chore(*): release 3.49.0 (#780)
Loading

v3.48.0

30 Aug 11:13
@gebner gebner
v3.48.0
283f6ed

Choose a tag to compare

View all tags
v3.48.0 
chore(*): release 3.48.0 (#762)
Loading

v3.47.0

25 Aug 18:36
@gebner gebner
v3.47.0
4f9b974

Choose a tag to compare

View all tags
v3.47.0 
chore(*): release 3.47.0 (#760)
Loading