Solving Diophantine equations in Lean - View it on GitHub