This repository has been archived, as the ring solver has now been added to the agda standard library.
A fast, easy-to-use ring solver for agda with step-by-step solutions
This repository has been archived, as the ring solver has now been added to the agda standard library.
A fast, easy-to-use ring solver for agda with step-by-step solutions
https://oisdk.github.io/agda-ring-solver/README.html
MIT License