search

runKleisli / verified-integer-gaussian-elimination

Idris package defining, implementing, and verifying naiive Gaussian elimination over the integers in some system of linear algebra.
Other
9 stars 0 forks source link

ZZGauss fixup #29

Closed runKleisli closed 7 years ago

runKleisli commented 7 years ago

Unrevert the zzgauss-lemmas revert 742faec, so that progress from 9798833 til df723a2 is restored.