Skip to content

Releases: avigad/mathematics_in_lean_source

v4.22.0

20 Aug 13:03
@github-actions github-actions
v4.22.0
8baa112
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v4.22.0 Latest
Latest

Automated release for Lean version v4.22.0

Assets 2
Loading

v4.21.0

08 Aug 21:44
@github-actions github-actions
v4.21.0
63824a3
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v4.21.0

Automated release for Lean version v4.21.0

Loading

v4.20.1

19 Jun 11:32
@github-actions github-actions
v4.20.1
00f826e
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v4.20.1

Automated release for Lean version v4.20.1

Loading

v4.20.0

03 Jun 16:17
@github-actions github-actions
v4.20.0
8e44e0d

Choose a tag to compare

View all tags
v4.20.0

Automated release for Lean version v4.20.0

Loading

v4.19.0

05 May 23:55
@github-actions github-actions
v4.19.0
a0afbe0
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v4.19.0

Automated release for Lean version v4.19.0

Loading

v4.17.0

03 Mar 17:06
@github-actions github-actions
v4.17.0
19dff2c

Choose a tag to compare

View all tags
v4.17.0

Automated release for Lean version v4.17.0

Loading

v4.16.0

13 Feb 23:08
@github-actions github-actions
v4.16.0
36d73a7

Choose a tag to compare

View all tags
v4.16.0

Automated release for Lean version v4.16.0

Loading