oisdk / agda-ring-solver

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

oisdk/agda-ring-solver Stargazers