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

github.com/pigworker/PolyTest
by @pigworker

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.