Giters

pigworker / PolyTest

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

PolyTest

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

About

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

Languages

Language:TeX 52.7%Language:Agda 46.6%Language:Makefile 0.4%Language:Haskell 0.4%