A Formally Verified Solver for Homogeneous Linear Diophantine Equations.

Florian Mener, Julian Parsert, Jonas Schpf, Christian Sternagel

Browse the full ITP paper archive.