Skip to content

infer axiom type + improved normalize_decl #349

infer axiom type + improved normalize_decl

infer axiom type + improved normalize_decl #349