Skip to content

Releases: ImperialCollegeLondon/FLT

v4.15.0-rc1

02 Dec 09:51
@github-actions github-actions
v4.15.0-rc1
9c58df4
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-rc1 Latest
Latest

Automated release for Lean version v4.15.0-rc1

Assets 2
Loading

v4.14.0-rc3

30 Nov 13:53
@github-actions github-actions
v4.14.0-rc3
d6c13d0
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-rc3

Automated release for Lean version v4.14.0-rc3

Assets 2
Loading

v4.14.0-rc2

19 Nov 09:34
@pitmonticone pitmonticone
v4.14.0-rc2
f56857a
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

Release for Lean version v4.14.0-rc2

Assets 2
Loading