verso-manual
The Lean reference manual
of 12 versions of verso-manual
1-12Sort by
Date
60385cc
5adbfa7
v4.22.0-rc2v4.22.0-rc25424941
v4.21.0v4.21.0a95c190
v4.21.0-rc3v4.21.0-rc34615564
v4.20.0v4.20.0ed0b88c
a0f16ed
f715b48
cda73e5
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