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.
oisdk/agda-ring-solver
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|