GitHub repository: runKleisli/verified-integer-gaussian-elimination
Primary language: Idris
Created: 2016-05-26T03:23:16Z
Description: Idris package looking to define, implement, and verify naiive Gaussian elimination over the integers in some system of linear algebra.