verso-manual
The Lean reference manual
of 19 versions of verso-manual
1-19Sort by
Date
b00d397
v4.24.0-rc1a905fda
v4.24.0-rc1v4.24.0-rc14c74a7d
v4.23.0v4.23.0eaa3fd1
v4.23.0-rc2v4.23.0-rc2bcbe589
v4.23.0-rc1v4.23.0-rc12bb2a5e
v4.22.0v4.22.02c18688
v4.22.0-rc4v4.22.0-rc41e08a0e
v4.22.0-rc3v4.22.0-rc35adbfa7
v4.22.0-rc2v4.22.0-rc25424941
v4.21.0v4.21.0a95c190
v4.21.0-rc3v4.21.0-rc34615564
v4.20.0v4.20.0ed0b88c
v4.20.0-rc5v4.20.0-rc5a0f16ed
v4.20.0-rc3v4.20.0-rc3f715b48
v4.20.0-rc2v4.20.0-rc2cda73e5
v4.19.0v4.19.05e80464
v4.19.0-rc3v4.19.0-rc331a2ecd
v4.19.0-rc2v4.19.0-rc2f854cf8
v4.19.0-rc1nightly-2025-03-21