agda-ring-solver
agda-ring-solver copied to clipboard
Published
20 hours ago •
oisdk
oisdk
A fast, easy-to-use ring solver for agda with step-by-step solutions
Archived
This repository has been archived, as the ring solver has now been added to the agda standard library.
oisdk