at Alignerr
Turn advanced mathematics into machine-verifiable truth. If you live for rigorous proofs and Lean 4, this is your frontier.