GitHub repository: quinn-dougherty/ladr
Primary language: Coq
Created: 2020-09-13T19:02:10Z
Description: linear algebra done right in coq