A fast, easy-to-use ring solver for agda with step-by-step solutions
Home Page:https://oisdk.github.io/agda-ring-solver/README.html
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
Click here for the README
https://oisdk.github.io/agda-ring-solver/README.html
License:MIT License