/coq-matrix

Integration of Multiple Formal Matrix Models in Coq

Primary LanguageCoqMIT LicenseMIT

Stargazers