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