{"name":"coqPackages.graph-theory","summary":"Library of formalized graph theory results in Coq","description":"A library of formalized graph theory results, including various\nstandard results from the literature (e.g., Menger’s Theorem, Hall’s\nMarriage Theorem, and the excluded minor characterization of\ntreewidth-two graphs) as well as some more recent results arising from\nthe study of relation algebra within the ERC CoVeCe project (e.g.,\nsoundness and completeness of an axiomatization of graph isomorphism).","homepage_url":"https://github.com/rocq-community/graph-theory","license":"CECILL-B","attribute_paths":["coqPackages.graph-theory"],"releases":[{"version":"0.9.7","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.graph-theory","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/ndrp67gqnax25fprp9wpkfz29b5hjsjl-coq9.1-graph-theory-0.9.7","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.graph-theory","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/l7b8c11356f6a5y0l1hvf29ilp8wm5k4-coq9.1-graph-theory-0.9.7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.graph-theory","commit_hash":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b","date":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/q0hg3wj2mahapkrqqq13bv0nblbp7k4x-coq9.1-graph-theory-0.9.7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.graph-theory","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/xjv3wqcf90iyplk0pgcxk4fdkma7kw87-coq9.1-graph-theory-0.9.7","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.6","last_updated":"2025-11-04T19:54:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.graph-theory","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/ga4b2p4wn67iq39gkv7wncdjzdbry0az-coq9.0-graph-theory-0.9.6","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.graph-theory","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/ywk3j3qqr68jk64660x7sif7lfywxjh1-coq9.0-graph-theory-0.9.6","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.graph-theory","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/x8s5gkckdxq728by0fg8h1wiw52ng09s-coq9.0-graph-theory-0.9.6","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.graph-theory","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/1jzh8p9k9k8pc0gvkhvf7ws819f5hsni-coq9.0-graph-theory-0.9.6","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.4","last_updated":"2024-09-02T11:22:49Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.graph-theory","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/p4x6gdl6wvvspkfrizwzf2i6klpmnbw9-coq8.19-graph-theory-0.9.4","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.graph-theory","commit_hash":"51b45dc262830ab95c7b9b039bb4f911d4b2509b","date":"2024-09-02T11:22:49Z","outputs":[{"name":"out","path":"/nix/store/f24ddjc6zq4m7990d76zdhjihqngln73-coq8.19-graph-theory-0.9.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.graph-theory","commit_hash":"51b45dc262830ab95c7b9b039bb4f911d4b2509b","date":"2024-09-02T11:22:49Z","outputs":[{"name":"out","path":"/nix/store/gwfcgj1w6q9j18j4bh14785yl2g3ra4s-coq8.19-graph-theory-0.9.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.graph-theory","commit_hash":"51b45dc262830ab95c7b9b039bb4f911d4b2509b","date":"2024-09-02T11:22:49Z","outputs":[{"name":"out","path":"/nix/store/375pa4j388k2ipazzyl5m1lbfw6b6i4m-coq8.19-graph-theory-0.9.4","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.2","last_updated":"2024-04-24T04:52:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.graph-theory","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/r4x8xrg6byghilfpy67466vzayf100rk-coq8.18-graph-theory-0.9.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.graph-theory","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/lyvrxvnncdnprkhas3hfc8lkmaja8m05-coq8.18-graph-theory-0.9.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.graph-theory","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/vswcr3qk579476k433nfdck3iq0z5k4r-coq8.18-graph-theory-0.9.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.graph-theory","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/d1xi68ca3xp0jlkh2zcfv48wdpsjf44s-coq8.18-graph-theory-0.9.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.1","last_updated":"2023-04-13T03:55:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.graph-theory","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/xlzfafla4l03kwwlmgi4n9m4c5w6yhdi-coq8.16-graph-theory-0.9.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.graph-theory","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/12vxhax6hw9cm1s6zfv4d6ylmq04w1cy-coq8.16-graph-theory-0.9.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.graph-theory","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/pwp1qaq1iz4gzb6gwxd75y765nzmqy7q-coq8.16-graph-theory-0.9.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.graph-theory","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/vgzi8ifkh199hrxxk0s60lwknwf3si8p-coq8.16-graph-theory-0.9.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.9","last_updated":"2023-03-03T04:15:01Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.graph-theory","commit_hash":"995edc972ad3a1e291ac22d74b9610821357175f","date":"2023-02-28T22:11:13Z","outputs":[{"name":"out","path":"/nix/store/c2xix641zyg34g1q2xqixp24scnf1xds-coq8.16-graph-theory-0.9","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.graph-theory","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/i72nhcx9zdvc3m5aaaysqy17pz0cd4g7-coq8.16-graph-theory-0.9","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.graph-theory","commit_hash":"995edc972ad3a1e291ac22d74b9610821357175f","date":"2023-02-28T22:11:13Z","outputs":[{"name":"out","path":"/nix/store/zv6j9dzhi0qjsnbwc6x9l1vdvlv343lx-coq8.16-graph-theory-0.9","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.graph-theory","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/gb54nzwar6mpvgv42dqqky817p805zkk-coq8.16-graph-theory-0.9","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}