pub const ALLOWED_AXIOMS: [(&'static str, &'static str); 3];
Lean’s three standard axioms, in the kernel’s spelling of their Lean names — the only assumptions a verified result may rest on.