Releases · leanprover/verso · GitHub

17 Jan 23:36

Verso manual (PDF and HTML) Pre-release

Pre-release

Bug Fixes

tutorial example support for nightlies (#704) #704 (David Thrane Christiansen)

Assets 4

14 Dec 11:56

Release v4.27.0-rc1 Latest

Latest

Automated release for v4.27.0-rc1

Assets 4

13 Dec 09:24

Release v4.26.0

Automated release for v4.26.0

Assets 4

21 Nov 03:59

Release v4.26.0-rc2

Automated release for v4.26.0-rc2

Assets 4

18 Nov 11:17

Release v4.26.0-rc1

Automated release for v4.26.0-rc1

Assets 4

18 Nov 05:42

Release v4.25.1

Automated release for v4.25.1

Assets 4

14 Nov 10:03

Release v4.25.0

Automated release for v4.25.0

Assets 4