GitHub repository: AgentChicken/Article294
Primary language: Python
Description: An implementation of Gauss's Article 294 proof for finding rational zeroes of binary quadratic forms and rational points on conics.