at Alignerr
Put your mathematics expertise to work at the frontier of AI — formalize advanced proofs in Lean 4 and help machines understand rigorous mathematics.