A Diophantine equation is a polynomial equation, usually in several variables, and solving it usually comprises of finding either one, or all of, the solutions where the variables take either integer, or rational, values.
This repository consists of solutions to Diophantine equations in the Lean Theorem Prover.
A Xena summer project.
This is a Lean 3 project. Assuming you have already installed Lean and its supporting tools you can install this Lean project with
leanproject get ImperialCollegeLondon/diophantine
Right now, feel free to make pull requests adding new solutions to Diophantine equations!