agdaPackages._1lab
1lab 0-unstable-2025-07-01
Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
https://github.com/the1lab/1labGNU Affero General Public License v3.0 only
programs: -
Maintainers
Platforms (46)
microblazeel-linuxarmv6l-netbsdriscv32-netbsdaarch64-linuxmips64-linuxmipsel-linuxx86_64-netbsdx86_64-darwin
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ agdaPackages._1lab ];
Ad-hoc shell
nix-shell -p agdaPackages._1lab
Flake (nix run)
nix run nixpkgs#agdaPackages._1lab