Un trabajo increíble de @pirapira dando una prueba lean de nuestro reciente documento de seguridad FRI Flujo de trabajo súper interesante también, combinando LLMs TeX a Lean con agentes de programación normales. ¡Creo que veremos mucho más de esto en el futuro!