This repository has been archived by the owner on Sep 25, 2022. It is now read-only.

Inspiration for ring solver in Agda #4

Open

clayrat opened this issue Feb 4, 2019 · 0 comments

clayrat commented Feb 4, 2019

This looks interesting: https://github.com/oisdk/agda-ring-solver/

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.