Upeaa työtä @pirapira:lta, joka antaa Lean-todistuksen viimeisimmästä FRI-turvapaperistamme Erittäin mielenkiintoinen työnkulku myös, yhdistäen TeX-to-Lean-LLM:t tavallisiin koodausagentteihin. Uskon, että näemme tätä paljon enemmän jatkossa!