functional-linear-algebra icon indicating copy to clipboard operation
functional-linear-algebra copied to clipboard

verified publisher icon ryanorendorff
→

Metadata

Formalizing linear algebra in Agda by representing matrices as functions

Results 0 functional-linear-algebra issues
Sort by recently updated
recently updated
newest added

← Metadata

23
Stars
5
Forks
Watchers

Owner

verified publisher icon ryanorendorff

Metadata

Formalizing linear algebra in Agda by representing matrices as functions

Back