ryanorendorff / functional-linear-algebra

Formalizing linear algebra in Agda by representing matrices as functions
26Updated last year

Alternatives and similar repositories for functional-linear-algebra:

Users that are interested in functional-linear-algebra are comparing it to the libraries listed below