{"name":"coqPackages.mathcomp-apery","summary":"A formally verified proof in Coq, by computer algebra, that ζ(3) is irrational","description":"","homepage_url":"https://github.com/coq-community/apery","license":"CECILL-C","attribute_paths":["coqPackages.mathcomp-apery"],"releases":[{"version":"1.0.2","last_updated":"2023-04-13T12:37:37Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-apery","commit_hash":"c58e6fbf258df1572b535ac1868ec42faf7675dd","date":"2023-04-13T12:37:37Z","outputs":[{"name":"out","path":"/nix/store/28x0q6p6y3pcxx8nws4qslvmvcjx3cfj-coq8.16-apery-1.0.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-apery","commit_hash":"c58e6fbf258df1572b535ac1868ec42faf7675dd","date":"2023-04-13T12:37:37Z","outputs":[{"name":"out","path":"/nix/store/0il5zxc3lhlkz2xl5dkmhvg4flpr8kby-coq8.16-apery-1.0.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-apery","commit_hash":"c58e6fbf258df1572b535ac1868ec42faf7675dd","date":"2023-04-13T12:37:37Z","outputs":[{"name":"out","path":"/nix/store/ky3qanxyy7v81fpr7pc52dxxx5mm72qi-coq8.16-apery-1.0.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-apery","commit_hash":"c58e6fbf258df1572b535ac1868ec42faf7675dd","date":"2023-04-13T12:37:37Z","outputs":[{"name":"out","path":"/nix/store/093gqrvszsiylam4rpdrc7zvpngqy8ga-coq8.16-apery-1.0.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}