pigworker/PolyTest

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

语言：TeX · GitHub 星标：6 · Fork：1

在 GitHub 上查看原仓库