Functional-linear-algebra

Formalizing linear algebra in Agda by representing matrices as functions from one vector space to another.

Project website

The package has no detailed description

unstable

channel

0.5.0

version

agdaPackages

set

Yes

supported

No

broken

Free

license

46

platforms

Other applications from the agdaPackages set