Cantor–Zassenhaus or Berlekamp's algorithm

Stream: Is there code for X?

[Saif Ghobash]

I am in the process of picking a topic for my undergraduate thesis, and having enjoyed lean so much I want to do some formalization. I thought that an implementation of either of these algorithms would be useful and fun, I just want to check if it is present in the library already.