agdaPackages.functional-linear-algebra
functional-linear-algebra 0.5.0
Formalizing linear algebra in Agda by representing matrices as functions from one vector space to another.
https://github.com/ryanorendorff/functional-linear-algebraBSD 3-clause "New" or "Revised" License
programs: -
Maintainers
Platforms (45)
armv7l-linuxaarch64-netbsdarmv6l-netbsdi686-netbsdarmv6l-linuxarc-linuxi686-freebsdx86_64-linux
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ agdaPackages.functional-linear-algebra ];
Ad-hoc shell
nix-shell -p agdaPackages.functional-linear-algebra
Flake (nix run)
nix run nixpkgs#agdaPackages.functional-linear-algebra