@pirapira'in son FRI güvenlik belgemizin Lean kanıtını sunduğu harika bir çalışma TeX-to-Lean LLM'leri normal kodlama ajanlarıyla birleştirmek de çok ilginç bir iş akışı. Bence bundan daha fazlasını ileride göreceğiz!