Stars
1
star
written in Haskell
Clear filter
A lightweight framework for generating, solving, and verifying solutions of algebraic equations.