Verified executable polynomial quotient rings over finite fields - View it on GitHub