-
Rocq/Lean, with extraction to executable code Developing agentic AI workflows for specification autoformalization, proof generation, and proof repair Build a strong network in the fields of formal
Enter an email to receive alerts for distributed-generation "https:" positions