pub const ALLOWED_AXIOMS: [(&str, &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.