Skip to content

Releases: LeanMachineLearning/LML

Release list

v4.34.0-rc2

v4.34.0-rc2 Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 23 Aug 06:24
v4.34.0-rc2
1ceecfb

Automated release for Lean version v4.34.0-rc2

Assets 2
Loading

v4.34.0-rc1

v4.34.0-rc1

Choose a tag to compare

View all tags
@github-actions github-actions released this 15 Aug 06:42
v4.34.0-rc1
9930372

Automated release for Lean version v4.34.0-rc1

Loading

v4.33.0-rc2

v4.33.0-rc2

Choose a tag to compare

View all tags
@github-actions github-actions released this 12 Aug 13:47
v4.33.0-rc2
b3c752a

Automated release for Lean version v4.33.0-rc2

Loading

v4.33.0

v4.33.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 12 Aug 14:37
v4.33.0
9fc3d89

Automated release for Lean version v4.33.0

Loading

v4.33.0-rc1

v4.33.0-rc1

Choose a tag to compare

View all tags
@github-actions github-actions released this 16 Jul 08:10
v4.33.0-rc1
ae6b1b1

Automated release for Lean version v4.33.0-rc1

Loading

v4.32.0

v4.32.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 14 Jul 08:00
v4.32.0
148b706

Automated release for Lean version v4.32.0

Loading

v4.32.0-rc1

v4.32.0-rc1

Choose a tag to compare

View all tags
@github-actions github-actions released this 19 Jun 16:07
v4.32.0-rc1
511e576

Automated release for Lean version v4.32.0-rc1

Loading

v4.31.0

v4.31.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 16 Jun 06:26
v4.31.0
faf2eeb

Automated release for Lean version v4.31.0

Loading

v4.31.0-rc2

v4.31.0-rc2

Choose a tag to compare

View all tags
@github-actions github-actions released this 09 Jun 12:29
v4.31.0-rc2
b6337e9

Automated release for Lean version v4.31.0-rc2

Loading

v4.30.0

v4.30.0

Choose a tag to compare

View all tags
@RemyDegenne RemyDegenne released this 09 Jun 11:49
v4.30.0
f969e28
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode. 
Update create-release workflow (#115)
Loading