Geweldig werk van @pirapira met een Lean bewijs van ons recente FRI beveiligingspaper Super interessante workflow ook, die TeX-naar-Lean LLM's combineert met reguliere code-agents. Ik denk dat we hier in de toekomst veel meer van gaan zien!