Am formalizat soliditatea FRI în Lean, folosind @HarmonicMath și Claude Code. - Analiza FRI realizată de @nico_mnbl și colaboratori - transformat într-o demonstrație Lean de @pirapira 🔥

Curiozitate: totul a pornit din curiozitate ca răspuns la anunțul Math, Inc. privind demonstrația lor FRI, formalizând demonstrațiile succinte și algebra liniară: ... ceea ce este plăcut, dar destul de departe de limitele reale ale securității FRI la care ne-am aștepta!