Verified integer gaussian elimination v1.0.0 @ wwtbd.

Fully verified algorithm.

Not computationally feasible, but complete.

Package zzgauss.

Installation instructions in README.md.

All my backers been wonderful people.
Funding information in README.md & Backers.md.

problem-etaconv-dupwork

Here, all but a provisional equality's hole remains to prove tailOfSu…

renameGaussBezout

GaussianElimination -> BezoutsIdentity, a new GaussianElimination to …