This repository has been archived, as the ring solver has now been added to the agda standard library.
This repository has been archived by the owner on Mar 12, 2022. It is now read-only.
This repository has been archived, as the ring solver has now been added to the agda standard library.