¡Increíble trabajo de @pirapira dando una prueba Lean de nuestro reciente artículo de seguridad FRI! ¡Flujo de trabajo súper interesante también, combinando LLMs de TeX a Lean con agentes de codificación regulares! Creo que veremos mucho más de esto en el futuro!