at Alignerr
Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4, push the limits of automated reasoning, and shape the future of mechanized mathematics.