quinn-dougherty / ladr

linear algebra done right in coq
10Updated 3 years ago

Related projects

Alternatives and complementary repositories for ladr