Ryan Orendorff
Results
1
repositories owned by
Ryan Orendorff
functional-linear-algebra
23
Stars
5
Forks
Watchers
Formalizing linear algebra in Agda by representing matrices as functions
