felko / linear-algebra

Linear algebra formalization in Agda
16Updated 4 years ago

Related projects

Alternatives and complementary repositories for linear-algebra