Skip to content

Releases: fpvandoorn/carleson

v4.16.0-rc2

14 Jan 14:42
@github-actions github-actions
v4.16.0-rc2
c4593b3
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.16.0-rc2 Latest
Latest

Automated release for Lean version v4.16.0-rc2

Assets 2
Loading

v4.15.0

06 Jan 14:13
@github-actions github-actions
v4.15.0
386a3c6
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.15.0

Automated release for Lean version v4.15.0

Assets 2
Loading

v4.14.0-rc2

21 Nov 15:09
@github-actions github-actions
v4.14.0-rc2
0ba357e
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.14.0-rc2

Automated release for Lean version v4.14.0-rc2

Assets 2
Loading

v4.13.0

11 Nov 14:16
@github-actions github-actions
v4.13.0
0f438e4
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.13.0

Automated release for Lean version v4.13.0

Assets 2
Loading

v4.12.0

04 Oct 10:32
@fpvandoorn fpvandoorn
v4.12.0
9001fa2
Compare
Choose a tag to compare
v4.12.0 
add v4.12.0
Assets 2
Loading