Verified Berlekamp factorization over finite fields - View it on GitHub