verso-manual
The Lean reference manual
of 14 versions of verso-manual
1-14Sort by
Date
3aa5dd3
v4.22.0-rc42c18688
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