Lean 4 Proof Engineer - Mathematical Formalization - $70 - $150 An Hour - Remote

Seeking mathematicians with expertise in Lean and formal proof languages to translate informal mathematical proofs into machine-verifiable formalizations, pushing the boundaries of automated verification.