GitHub repository: ImperialCollegeLondon/diophantine
Primary language: Lean
Created: 2022-07-04T09:49:59Z
Description: Solving Diophantine equations in Lean