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

ZZModuleSpan complete #27

Closed runKleisli closed 7 years ago

runKleisli commented 7 years ago

All holes filled except spanslpr, which will be removed before the first release. Some holes remain from dependencies, namely the ones talked about in the issues. Remodularization will have to be done, and documentation (README) is highly outdated.