A fast, easy-to-use ring solver for agda with step-by-step solutions
Primary LanguageAgdaMIT LicenseMIT
Click here for the README