Formal verification with Lean
Prepare a short Lean proof of a simple result and explain how you structured the formalization. Practice describing the proof strategy to a researcher from another field.
The Lean Engineer role focuses on sharing knowledge, infrastructure, and tools for doing theory research with Lean.
Source posting