{"ref":null,"ref_type":"repository","master_branch":"master","description":"Idris package looking to define, implement, and verify naiive Gaussian elimination over the integers in some system of linear algebra.","pusher_type":"user"}
{"actor":{"display_login":"runKleisli"}}