Skip to content

Releases: wwylele/PentagonalNumberTheorem

Release list

v4.26.0-rc2

v4.26.0-rc2 Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 07 Dec 15:04
v4.26.0-rc2
d8ddb14

Automated release for Lean version v4.26.0-rc2

Assets 2
Loading

v4.25.0-rc2

v4.25.0-rc2

Choose a tag to compare

View all tags
@github-actions github-actions released this 29 Oct 23:18
v4.25.0-rc2
021cc74

Automated release for Lean version v4.25.0-rc2

Loading

v4.24.0

v4.24.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 15 Oct 00:31
v4.24.0
2591ffb

Automated release for Lean version v4.24.0

Loading

v4.24.0-rc1

v4.24.0-rc1

Choose a tag to compare

View all tags
@github-actions github-actions released this 17 Sep 01:57
v4.24.0-rc1
7d3d299

Automated release for Lean version v4.24.0-rc1

Loading

v4.23.0-rc2

v4.23.0-rc2

Choose a tag to compare

View all tags
@github-actions github-actions released this 07 Sep 14:08
v4.23.0-rc2
8776a44

Automated release for Lean version v4.23.0-rc2

Loading