Home/leanprover-community/LeanProject/Changelog

leanprover-community/LeanProject

A template for blueprint-driven formalization projects in Lean.

30 Releases

Latest: 4mo ago

v4.28.0Latest

github-actions[bot]·4mo ago·February 23, 2026

Automated release for Lean version v4.28.0

v4.27.0

github-actions[bot]·5mo ago·January 26, 2026

Automated release for Lean version v4.27.0

v4.27.0-rc1

github-actions[bot]·5mo ago·January 7, 2026

Automated release for Lean version v4.27.0-rc1

v4.25.1

github-actions[bot]·7mo ago·November 25, 2025

Automated release for Lean version v4.25.1

v4.25.0

github-actions[bot]·7mo ago·November 14, 2025

Automated release for Lean version v4.25.0

v4.25.0-rc2

github-actions[bot]·7mo ago·November 12, 2025

Automated release for Lean version v4.25.0-rc2

v4.24.0

github-actions[bot]·7mo ago·November 12, 2025

Automated release for Lean version v4.24.0

v4.24.0-rc1

github-actions[bot]·9mo ago·September 21, 2025

Automated release for Lean version v4.24.0-rc1

v4.23.0-rc2

github-actions[bot]·9mo ago·September 20, 2025

Automated release for Lean version v4.23.0-rc2

v4.23.0

github-actions[bot]·9mo ago·September 20, 2025

Automated release for Lean version v4.23.0

v4.22.0

github-actions[bot]·10mo ago·August 14, 2025

Automated release for Lean version v4.22.0

v4.22.0-rc4

github-actions[bot]·10mo ago·August 8, 2025

Automated release for Lean version v4.22.0-rc4

v4.22.0-rc3

github-actions[bot]·11mo ago·July 7, 2025

Automated release for Lean version v4.22.0-rc3

v4.21.0

github-actions[bot]·11mo ago·July 7, 2025

Automated release for Lean version v4.21.0

v4.21.0-rc3

github-actions[bot]·1y ago·June 16, 2025

Automated release for Lean version v4.21.0-rc3

v4.21.0-rc2

github-actions[bot]·1y ago·June 16, 2025

Automated release for Lean version v4.21.0-rc2

v4.21.0-rc1

github-actions[bot]·1y ago·June 16, 2025

Automated release for Lean version v4.21.0-rc1

v4.20.1-rc1

github-actions[bot]·1y ago·June 16, 2025

Automated release for Lean version v4.20.1-rc1

v4.20.1

github-actions[bot]·1y ago·June 16, 2025

Automated release for Lean version v4.20.1

v4.20.0

github-actions[bot]·1y ago·June 2, 2025

Automated release for Lean version v4.20.0

v4.19.0

github-actions[bot]·1y ago·May 10, 2025

Automated release for Lean version v4.19.0

v4.19.0-rc3

github-actions[bot]·1y ago·April 15, 2025

Automated release for Lean version v4.19.0-rc3

v4.19.0-rc2

github-actions[bot]·1y ago·April 3, 2025

Automated release for Lean version v4.19.0-rc2

v4.18.0-rc1

github-actions[bot]·1y ago·March 3, 2025

Automated release for Lean version v4.18.0-rc1

v4.17.0-rc1

github-actions[bot]·1y ago·February 9, 2025

Automated release for Lean version v4.17.0-rc1

v4.16.0

github-actions[bot]·1y ago·February 3, 2025

Automated release for Lean version v4.16.0

v4.16.0-rc2

github-actions[bot]·1y ago·January 14, 2025

Automated release for Lean version v4.16.0-rc2

v4.16.0-rc1

github-actions[bot]·1y ago·January 5, 2025

Automated release for Lean version v4.16.0-rc1

v4.15.0-rc1

github-actions[bot]·1y ago·December 6, 2024

Automated release for Lean version v4.15.0-rc1

v4.14.0-rc2

github-actions[bot]·1y ago·November 8, 2024

Automated release for Lean version v4.14.0-rc2

View all releases on GitHub

← Back to LeanProject wiki