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