This repository was archived by the owner on Sep 9, 2025. It is now read-only.

feat: Add FRI conjecture#827

Draft

MCarlomagno wants to merge 2 commits intoIrreducibleOSS:mainfrom

MCarlomagno:fri-conjecture

Commits on Jul 11, 2025