{"name":"coqPackages.mathcomp-apery","version":"1.0.2","summary":"A formally verified proof in Coq, by computer algebra, that ζ(3) is irrational","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c58e6fbf258df1572b535ac1868ec42faf7675dd"},"attr_path":"coqPackages.mathcomp-apery"},"last_updated":"2023-04-13T12:37:37Z","outputs":[{"name":"out","path":"/nix/store/28x0q6p6y3pcxx8nws4qslvmvcjx3cfj-coq8.16-apery-1.0.2","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c58e6fbf258df1572b535ac1868ec42faf7675dd"},"attr_path":"coqPackages.mathcomp-apery"},"last_updated":"2023-04-13T12:37:37Z","outputs":[{"name":"out","path":"/nix/store/0il5zxc3lhlkz2xl5dkmhvg4flpr8kby-coq8.16-apery-1.0.2","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c58e6fbf258df1572b535ac1868ec42faf7675dd"},"attr_path":"coqPackages.mathcomp-apery"},"last_updated":"2023-04-13T12:37:37Z","outputs":[{"name":"out","path":"/nix/store/ky3qanxyy7v81fpr7pc52dxxx5mm72qi-coq8.16-apery-1.0.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c58e6fbf258df1572b535ac1868ec42faf7675dd"},"attr_path":"coqPackages.mathcomp-apery"},"last_updated":"2023-04-13T12:37:37Z","outputs":[{"name":"out","path":"/nix/store/093gqrvszsiylam4rpdrc7zvpngqy8ga-coq8.16-apery-1.0.2","default":true}]}}}