Skip to content

Releases: ooovi/Polyhedral

Release list

v4.30.0-rc2

v4.30.0-rc2 Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 15 May 11:46
v4.30.0-rc2
229a49f

Automated release for Lean version v4.30.0-rc2

Assets 2
Loading

v4.30.0-rc1

v4.30.0-rc1

Choose a tag to compare

View all tags
@github-actions github-actions released this 14 Apr 15:58
v4.30.0-rc1
44ecc98

Automated release for Lean version v4.30.0-rc1

Loading

v4.29.0-rc6

v4.29.0-rc6

Choose a tag to compare

View all tags
@github-actions github-actions released this 17 Mar 11:11
v4.29.0-rc6
a9d3c86

Automated release for Lean version v4.29.0-rc6

Loading

v4.24.0-rc1

v4.24.0-rc1

Choose a tag to compare

View all tags
@github-actions github-actions released this 11 Oct 09:54
v4.24.0-rc1
e860244

Automated release for Lean version v4.24.0-rc1

Loading