Releases · YellPika/quasi-borel-spaces · GitHub

27 Jan 02:16

v4.28.0-rc1 Latest

Latest

Automated release for Lean version v4.28.0-rc1

Assets 2

14 Jan 18:29

v4.27.0-rc1

Automated release for Lean version v4.27.0-rc1

Assets 2

23 Nov 15:33

v4.26.0-rc2

Automated release for Lean version v4.26.0-rc2

Assets 2

28 Oct 18:17

v4.25.0-rc2

Automated release for Lean version v4.25.0-rc2

Assets 2

22 Oct 15:40

v4.24.0

Automated release for Lean version v4.24.0

Assets 2