Lean (version 0.2.0, commit , Release)
Checking Agreement.hlean
Checking Tower.hlean
Checking Gluing.hlean
Checking Observation.hlean
Checking Prefix.hlean
Checking Sharpness.hlean
Checking Obstruction.hlean
Kernel dependency audit
no axioms
function_extensionality
function_extensionality
trunc.is_trunc_trunc
function_extensionality
univalence
trunc.is_trunc_trunc
function_extensionality
univalence
trunc.is_trunc_trunc
quotient.eq_of_rel
quotient.rec_eq_of_rel
function_extensionality
univalence
trunc.is_trunc_trunc
function_extensionality
univalence
quotient.eq_of_rel
quotient.rec_eq_of_rel
function_extensionality
trunc.is_trunc_trunc
function_extensionality
trunc.is_trunc_trunc
function_extensionality
univalence
quotient.eq_of_rel
quotient.rec_eq_of_rel
function_extensionality
no axioms
function_extensionality
univalence
