pigworker / PolyTest

being a literate Agda development of a theorem about testing polynomials with summation

Geek Repo

Github PK Tool