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