Agda Ring Solver Save Abandoned
A fast, easy-to-use ring solver for agda with step-by-step solutions
Stars
38
Open Issues
1
Last Commit
2 years ago
License
Open Source Agenda Badge
A fast, easy-to-use ring solver for agda with step-by-step solutions
