mathlib documentation

core / init.version

source
def lean.version  :
ℕ × ℕ × ℕ
Equations
source
def lean.githash  :
string
Equations
source
def lean.is_release  :
bool
Equations
source
def lean.special_version_desc  :
string

Additional version description like "nightly-2018-03-11"

Equations