Giters

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

agdaagda-libraryinteractive-theorem-proving

About

A fast, easy-to-use ring solver for agda with step-by-step solutions

https://oisdk.github.io/agda-ring-solver/README.html

agdaagda-libraryinteractive-theorem-proving

License:MIT License

Languages

Language:Agda 94.2%Language:Python 4.7%Language:CSS 0.9%Language:Shell 0.2%