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 help shape the future of mechanized mathematics.