Lean 4 Proof Engineer - Mathematical Formalization at Alignerr | Owesa Jobs · Owesa