{"id":29917,"name":"project","description":"The monorepo containing all code for the QED project","url":"https://github.com/qed-project/project","last_synced_at":"2025-09-05T04:37:55.675Z","repository":{"id":229248045,"uuid":"776229904","full_name":"qed-project/project","owner":"qed-project","description":"The monorepo containing all code for the QED project","archived":false,"fork":false,"pushed_at":"2024-04-25T22:51:28.000Z","size":169,"stargazers_count":2,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2025-04-13T20:05:44.333Z","etag":null,"topics":["computer-algebra-system","database","math","proof-system"],"latest_commit_sha":null,"homepage":"https://qed.lucalewin.dev","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/qed-project.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":"docs/roadmap.md","authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2024-03-23T00:17:02.000Z","updated_at":"2024-10-28T09:10:44.000Z","dependencies_parsed_at":"2024-03-28T00:22:37.082Z","dependency_job_id":"05e1adf2-c21b-4435-aa78-1acb411f5dda","html_url":"https://github.com/qed-project/project","commit_stats":null,"previous_names":["qed-project/project"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/qed-project/project","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qed-project%2Fproject","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qed-project%2Fproject/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qed-project%2Fproject/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qed-project%2Fproject/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/qed-project","download_url":"https://codeload.github.com/qed-project/project/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qed-project%2Fproject/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273713520,"owners_count":25154610,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-05T02:00:09.113Z","response_time":402,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"owner":{"login":"qed-project","name":"The QED Project","uuid":"145725902","kind":"organization","description":"","email":"contact@lucalewin.dev","website":"https://lucalewin.dev/projects/qed","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/145725902?v=4","repositories_count":1,"last_synced_at":"2023-09-24T18:48:37.211Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/qed-project","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2023-09-24T18:48:37.213Z","updated_at":"2023-09-24T18:48:37.213Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/qed-project","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/qed-project/repositories"},"packages":[],"commits":{"message":"Repository syncing started."},"issues_stats":{"full_name":"qed-project/project","html_url":"https://github.com/qed-project/project","last_synced_at":null,"status":null,"issues_count":null,"pull_requests_count":null,"avg_time_to_close_issue":null,"avg_time_to_close_pull_request":null,"issues_closed_count":null,"pull_requests_closed_count":null,"pull_request_authors_count":null,"issue_authors_count":null,"avg_comments_per_issue":null,"avg_comments_per_pull_request":null,"merged_pull_requests_count":null,"bot_issues_count":null,"bot_pull_requests_count":null,"past_year_issues_count":null,"past_year_pull_requests_count":null,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":null,"past_year_pull_requests_closed_count":null,"past_year_pull_request_authors_count":null,"past_year_issue_authors_count":null,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":null,"past_year_bot_pull_requests_count":null,"past_year_merged_pull_requests_count":null,"created_at":"2025-09-05T04:37:16.333Z","updated_at":"2025-09-05T04:37:16.333Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/qed-project%2Fproject","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/qed-project%2Fproject/issues","issue_labels_count":{},"pull_request_labels_count":{},"issue_author_associations_count":{},"pull_request_author_associations_count":{},"issue_authors":{},"pull_request_authors":{},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.444Z","repositories_count":10085009,"issues_count":31271208,"pull_requests_count":96321502,"authors_count":10695459,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"},"past_year_issue_labels_count":{},"past_year_pull_request_labels_count":{},"past_year_issue_author_associations_count":{},"past_year_pull_request_author_associations_count":{},"past_year_issue_authors":{},"past_year_pull_request_authors":{},"maintainers":[],"active_maintainers":[]},"events":{"total":{"WatchEvent":1},"last_year":{"WatchEvent":1}},"keywords":["computer-algebra-system","database","math","proof-system"],"dependencies":[{"ecosystem":"cargo","filepath":"Cargo.lock","sha":null,"kind":"lockfile","created_at":"2024-03-28T00:22:35.631Z","updated_at":"2024-03-28T00:22:35.631Z","repository_link":"https://github.com/qed-project/project/blob/main/Cargo.lock","dependencies":[{"id":17081825556,"package_name":"addr2line","ecosystem":"cargo","requirements":"0.21.0","direct":false,"kind":"runtime","optional":false},{"id":17081825557,"package_name":"adler","ecosystem":"cargo","requirements":"1.0.2","direct":false,"kind":"runtime","optional":false},{"id":17081825558,"package_name":"askama","ecosystem":"cargo","requirements":"0.12.1","direct":false,"kind":"runtime","optional":false},{"id":17081825559,"package_name":"askama_axum","ecosystem":"cargo","requirements":"0.4.0","direct":false,"kind":"runtime","optional":false},{"id":17081825560,"package_name":"askama_derive","ecosystem":"cargo","requirements":"0.12.5","direct":false,"kind":"runtime","optional":false},{"id":17081825561,"package_name":"askama_escape","ecosystem":"cargo","requirements":"0.10.3","direct":false,"kind":"runtime","optional":false},{"id":17081825562,"package_name":"askama_parser","ecosystem":"cargo","requirements":"0.2.1","direct":false,"kind":"runtime","optional":false},{"id":17081825563,"package_name":"async-trait","ecosystem":"cargo","requirements":"0.1.78","direct":false,"kind":"runtime","optional":false},{"id":17081825564,"package_name":"autocfg","ecosystem":"cargo","requirements":"1.1.0","direct":false,"kind":"runtime","optional":false},{"id":17081825565,"package_name":"axum","ecosystem":"cargo","requirements":"0.7.4","direct":false,"kind":"runtime","optional":false},{"id":17081825566,"package_name":"axum-core","ecosystem":"cargo","requirements":"0.4.3","direct":false,"kind":"runtime","optional":false},{"id":17081825567,"package_name":"backtrace","ecosystem":"cargo","requirements":"0.3.71","direct":false,"kind":"runtime","optional":false},{"id":17081825568,"package_name":"basic-toml","ecosystem":"cargo","requirements":"0.1.9","direct":false,"kind":"runtime","optional":false},{"id":17081825569,"package_name":"bytes","ecosystem":"cargo","requirements":"1.6.0","direct":false,"kind":"runtime","optional":false},{"id":17081825570,"package_name":"cc","ecosystem":"cargo","requirements":"1.0.90","direct":false,"kind":"runtime","optional":false},{"id":17081825571,"package_name":"cfg-if","ecosystem":"cargo","requirements":"1.0.0","direct":false,"kind":"runtime","optional":false},{"id":17081825572,"package_name":"equivalent","ecosystem":"cargo","requirements":"1.0.1","direct":false,"kind":"runtime","optional":false},{"id":17081825573,"package_name":"fnv","ecosystem":"cargo","requirements":"1.0.7","direct":false,"kind":"runtime","optional":false},{"id":17081825574,"package_name":"form_urlencoded","ecosystem":"cargo","requirements":"1.2.1","direct":false,"kind":"runtime","optional":false},{"id":17081825575,"package_name":"futures-channel","ecosystem":"cargo","requirements":"0.3.30","direct":false,"kind":"runtime","optional":false},{"id":17081825576,"package_name":"futures-core","ecosystem":"cargo","requirements":"0.3.30","direct":false,"kind":"runtime","optional":false},{"id":17081825577,"package_name":"futures-sink","ecosystem":"cargo","requirements":"0.3.30","direct":false,"kind":"runtime","optional":false},{"id":17081825578,"package_name":"futures-task","ecosystem":"cargo","requirements":"0.3.30","direct":false,"kind":"runtime","optional":false},{"id":17081825579,"package_name":"futures-util","ecosystem":"cargo","requirements":"0.3.30","direct":false,"kind":"runtime","optional":false},{"id":17081825580,"package_name":"gimli","ecosystem":"cargo","requirements":"0.28.1","direct":false,"kind":"runtime","optional":false},{"id":17081825581,"package_name":"h2","ecosystem":"cargo","requirements":"0.4.3","direct":false,"kind":"runtime","optional":false},{"id":17081825582,"package_name":"hashbrown","ecosystem":"cargo","requirements":"0.14.3","direct":false,"kind":"runtime","optional":false},{"id":17081825583,"package_name":"http","ecosystem":"cargo","requirements":"1.1.0","direct":false,"kind":"runtime","optional":false},{"id":17081825584,"package_name":"http-body","ecosystem":"cargo","requirements":"1.0.0","direct":false,"kind":"runtime","optional":false},{"id":17081825585,"package_name":"http-body-util","ecosystem":"cargo","requirements":"0.1.1","direct":false,"kind":"runtime","optional":false},{"id":17081825586,"package_name":"httparse","ecosystem":"cargo","requirements":"1.8.0","direct":false,"kind":"runtime","optional":false},{"id":17081825587,"package_name":"httpdate","ecosystem":"cargo","requirements":"1.0.3","direct":false,"kind":"runtime","optional":false},{"id":17081825588,"package_name":"humansize","ecosystem":"cargo","requirements":"2.1.3","direct":false,"kind":"runtime","optional":false},{"id":17081825589,"package_name":"hyper","ecosystem":"cargo","requirements":"1.2.0","direct":false,"kind":"runtime","optional":false},{"id":17081825590,"package_name":"hyper-util","ecosystem":"cargo","requirements":"0.1.3","direct":false,"kind":"runtime","optional":false},{"id":17081825591,"package_name":"indexmap","ecosystem":"cargo","requirements":"2.2.6","direct":false,"kind":"runtime","optional":false},{"id":17081825592,"package_name":"itoa","ecosystem":"cargo","requirements":"1.0.10","direct":false,"kind":"runtime","optional":false},{"id":17081825593,"package_name":"lazy_static","ecosystem":"cargo","requirements":"1.4.0","direct":false,"kind":"runtime","optional":false},{"id":17081825594,"package_name":"libc","ecosystem":"cargo","requirements":"0.2.153","direct":false,"kind":"runtime","optional":false},{"id":17081825595,"package_name":"libm","ecosystem":"cargo","requirements":"0.2.8","direct":false,"kind":"runtime","optional":false},{"id":17081825596,"package_name":"log","ecosystem":"cargo","requirements":"0.4.21","direct":false,"kind":"runtime","optional":false},{"id":17081825597,"package_name":"matchit","ecosystem":"cargo","requirements":"0.7.3","direct":false,"kind":"runtime","optional":false},{"id":17081825598,"package_name":"memchr","ecosystem":"cargo","requirements":"2.7.1","direct":false,"kind":"runtime","optional":false},{"id":17081825599,"package_name":"mime","ecosystem":"cargo","requirements":"0.3.17","direct":false,"kind":"runtime","optional":false},{"id":17081825600,"package_name":"mime_guess","ecosystem":"cargo","requirements":"2.0.4","direct":false,"kind":"runtime","optional":false},{"id":17081825601,"package_name":"minimal-lexical","ecosystem":"cargo","requirements":"0.2.1","direct":false,"kind":"runtime","optional":false},{"id":17081825602,"package_name":"miniz_oxide","ecosystem":"cargo","requirements":"0.7.2","direct":false,"kind":"runtime","optional":false},{"id":17081825603,"package_name":"mio","ecosystem":"cargo","requirements":"0.8.11","direct":false,"kind":"runtime","optional":false},{"id":17081825604,"package_name":"nom","ecosystem":"cargo","requirements":"7.1.3","direct":false,"kind":"runtime","optional":false},{"id":17081825605,"package_name":"nu-ansi-term","ecosystem":"cargo","requirements":"0.46.0","direct":false,"kind":"runtime","optional":false},{"id":17081825606,"package_name":"num-traits","ecosystem":"cargo","requirements":"0.2.18","direct":false,"kind":"runtime","optional":false},{"id":17081825607,"package_name":"object","ecosystem":"cargo","requirements":"0.32.2","direct":false,"kind":"runtime","optional":false},{"id":17081825608,"package_name":"once_cell","ecosystem":"cargo","requirements":"1.19.0","direct":false,"kind":"runtime","optional":false},{"id":17081825609,"package_name":"overload","ecosystem":"cargo","requirements":"0.1.1","direct":false,"kind":"runtime","optional":false},{"id":17081825610,"package_name":"percent-encoding","ecosystem":"cargo","requirements":"2.3.1","direct":false,"kind":"runtime","optional":false},{"id":17081825611,"package_name":"pin-project","ecosystem":"cargo","requirements":"1.1.5","direct":false,"kind":"runtime","optional":false},{"id":17081825612,"package_name":"pin-project-internal","ecosystem":"cargo","requirements":"1.1.5","direct":false,"kind":"runtime","optional":false},{"id":17081825613,"package_name":"pin-project-lite","ecosystem":"cargo","requirements":"0.2.13","direct":false,"kind":"runtime","optional":false},{"id":17081825614,"package_name":"pin-utils","ecosystem":"cargo","requirements":"0.1.0","direct":false,"kind":"runtime","optional":false},{"id":17081825615,"package_name":"proc-macro2","ecosystem":"cargo","requirements":"1.0.79","direct":false,"kind":"runtime","optional":false},{"id":17081825616,"package_name":"quote","ecosystem":"cargo","requirements":"1.0.35","direct":false,"kind":"runtime","optional":false},{"id":17081825617,"package_name":"rustc-demangle","ecosystem":"cargo","requirements":"0.1.23","direct":false,"kind":"runtime","optional":false},{"id":17081825618,"package_name":"rustversion","ecosystem":"cargo","requirements":"1.0.14","direct":false,"kind":"runtime","optional":false},{"id":17081825619,"package_name":"ryu","ecosystem":"cargo","requirements":"1.0.17","direct":false,"kind":"runtime","optional":false},{"id":17081825620,"package_name":"serde","ecosystem":"cargo","requirements":"1.0.197","direct":false,"kind":"runtime","optional":false},{"id":17081825621,"package_name":"serde_derive","ecosystem":"cargo","requirements":"1.0.197","direct":false,"kind":"runtime","optional":false},{"id":17081825622,"package_name":"serde_json","ecosystem":"cargo","requirements":"1.0.114","direct":false,"kind":"runtime","optional":false},{"id":17081825623,"package_name":"serde_path_to_error","ecosystem":"cargo","requirements":"0.1.16","direct":false,"kind":"runtime","optional":false},{"id":17081825624,"package_name":"serde_urlencoded","ecosystem":"cargo","requirements":"0.7.1","direct":false,"kind":"runtime","optional":false},{"id":17081825625,"package_name":"sharded-slab","ecosystem":"cargo","requirements":"0.1.7","direct":false,"kind":"runtime","optional":false},{"id":17081825626,"package_name":"slab","ecosystem":"cargo","requirements":"0.4.9","direct":false,"kind":"runtime","optional":false},{"id":17081825627,"package_name":"smallvec","ecosystem":"cargo","requirements":"1.13.2","direct":false,"kind":"runtime","optional":false},{"id":17081825628,"package_name":"socket2","ecosystem":"cargo","requirements":"0.5.6","direct":false,"kind":"runtime","optional":false},{"id":17081825629,"package_name":"syn","ecosystem":"cargo","requirements":"2.0.53","direct":false,"kind":"runtime","optional":false},{"id":17081825630,"package_name":"sync_wrapper","ecosystem":"cargo","requirements":"0.1.2","direct":false,"kind":"runtime","optional":false},{"id":17081825631,"package_name":"thread_local","ecosystem":"cargo","requirements":"1.1.8","direct":false,"kind":"runtime","optional":false},{"id":17081825632,"package_name":"tokio","ecosystem":"cargo","requirements":"1.36.0","direct":false,"kind":"runtime","optional":false},{"id":17081825633,"package_name":"tokio-macros","ecosystem":"cargo","requirements":"2.2.0","direct":false,"kind":"runtime","optional":false},{"id":17081825634,"package_name":"tokio-util","ecosystem":"cargo","requirements":"0.7.10","direct":false,"kind":"runtime","optional":false},{"id":17081825635,"package_name":"tower","ecosystem":"cargo","requirements":"0.4.13","direct":false,"kind":"runtime","optional":false},{"id":17081825636,"package_name":"tower-layer","ecosystem":"cargo","requirements":"0.3.2","direct":false,"kind":"runtime","optional":false},{"id":17081825637,"package_name":"tower-service","ecosystem":"cargo","requirements":"0.3.2","direct":false,"kind":"runtime","optional":false},{"id":17081825638,"package_name":"tracing","ecosystem":"cargo","requirements":"0.1.40","direct":false,"kind":"runtime","optional":false},{"id":17081825639,"package_name":"tracing-attributes","ecosystem":"cargo","requirements":"0.1.27","direct":false,"kind":"runtime","optional":false},{"id":17081825640,"package_name":"tracing-core","ecosystem":"cargo","requirements":"0.1.32","direct":false,"kind":"runtime","optional":false},{"id":17081825641,"package_name":"tracing-log","ecosystem":"cargo","requirements":"0.2.0","direct":false,"kind":"runtime","optional":false},{"id":17081825642,"package_name":"tracing-subscriber","ecosystem":"cargo","requirements":"0.3.18","direct":false,"kind":"runtime","optional":false},{"id":17081825643,"package_name":"unicase","ecosystem":"cargo","requirements":"2.7.0","direct":false,"kind":"runtime","optional":false},{"id":17081825644,"package_name":"unicode-ident","ecosystem":"cargo","requirements":"1.0.12","direct":false,"kind":"runtime","optional":false},{"id":17081825645,"package_name":"valuable","ecosystem":"cargo","requirements":"0.1.0","direct":false,"kind":"runtime","optional":false},{"id":17081825646,"package_name":"version_check","ecosystem":"cargo","requirements":"0.9.4","direct":false,"kind":"runtime","optional":false},{"id":17081825647,"package_name":"wasi","ecosystem":"cargo","requirements":"0.11.0+wasi-snapshot-preview1","direct":false,"kind":"runtime","optional":false},{"id":17081825648,"package_name":"winapi","ecosystem":"cargo","requirements":"0.3.9","direct":false,"kind":"runtime","optional":false},{"id":17081825649,"package_name":"winapi-i686-pc-windows-gnu","ecosystem":"cargo","requirements":"0.4.0","direct":false,"kind":"runtime","optional":false},{"id":17081825650,"package_name":"winapi-x86_64-pc-windows-gnu","ecosystem":"cargo","requirements":"0.4.0","direct":false,"kind":"runtime","optional":false},{"id":17081825651,"package_name":"windows-sys","ecosystem":"cargo","requirements":"0.48.0","direct":false,"kind":"runtime","optional":false},{"id":17081825652,"package_name":"windows-sys","ecosystem":"cargo","requirements":"0.52.0","direct":false,"kind":"runtime","optional":false},{"id":17081825653,"package_name":"windows-targets","ecosystem":"cargo","requirements":"0.48.5","direct":false,"kind":"runtime","optional":false},{"id":17081825654,"package_name":"windows-targets","ecosystem":"cargo","requirements":"0.52.4","direct":false,"kind":"runtime","optional":false},{"id":17081825655,"package_name":"windows_aarch64_gnullvm","ecosystem":"cargo","requirements":"0.48.5","direct":false,"kind":"runtime","optional":false},{"id":17081825656,"package_name":"windows_aarch64_gnullvm","ecosystem":"cargo","requirements":"0.52.4","direct":false,"kind":"runtime","optional":false},{"id":17081825657,"package_name":"windows_aarch64_msvc","ecosystem":"cargo","requirements":"0.48.5","direct":false,"kind":"runtime","optional":false},{"id":17081825658,"package_name":"windows_aarch64_msvc","ecosystem":"cargo","requirements":"0.52.4","direct":false,"kind":"runtime","optional":false},{"id":17081825659,"package_name":"windows_i686_gnu","ecosystem":"cargo","requirements":"0.48.5","direct":false,"kind":"runtime","optional":false},{"id":17081825660,"package_name":"windows_i686_gnu","ecosystem":"cargo","requirements":"0.52.4","direct":false,"kind":"runtime","optional":false},{"id":17081825661,"package_name":"windows_i686_msvc","ecosystem":"cargo","requirements":"0.48.5","direct":false,"kind":"runtime","optional":false},{"id":17081825662,"package_name":"windows_i686_msvc","ecosystem":"cargo","requirements":"0.52.4","direct":false,"kind":"runtime","optional":false},{"id":17081825663,"package_name":"windows_x86_64_gnu","ecosystem":"cargo","requirements":"0.48.5","direct":false,"kind":"runtime","optional":false},{"id":17081825664,"package_name":"windows_x86_64_gnu","ecosystem":"cargo","requirements":"0.52.4","direct":false,"kind":"runtime","optional":false},{"id":17081825665,"package_name":"windows_x86_64_gnullvm","ecosystem":"cargo","requirements":"0.48.5","direct":false,"kind":"runtime","optional":false},{"id":17081825666,"package_name":"windows_x86_64_gnullvm","ecosystem":"cargo","requirements":"0.52.4","direct":false,"kind":"runtime","optional":false},{"id":17081825667,"package_name":"windows_x86_64_msvc","ecosystem":"cargo","requirements":"0.48.5","direct":false,"kind":"runtime","optional":false},{"id":17081825668,"package_name":"windows_x86_64_msvc","ecosystem":"cargo","requirements":"0.52.4","direct":false,"kind":"runtime","optional":false}]},{"ecosystem":"cargo","filepath":"Cargo.toml","sha":null,"kind":"manifest","created_at":"2024-03-28T00:22:35.942Z","updated_at":"2024-03-28T00:22:35.942Z","repository_link":"https://github.com/qed-project/project/blob/main/Cargo.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"crates/asciimath-rs/Cargo.toml","sha":null,"kind":"manifest","created_at":"2024-03-28T00:22:36.007Z","updated_at":"2024-03-28T00:22:36.007Z","repository_link":"https://github.com/qed-project/project/blob/main/crates/asciimath-rs/Cargo.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"crates/lean-rs/Cargo.toml","sha":null,"kind":"manifest","created_at":"2024-03-28T00:22:36.085Z","updated_at":"2024-03-28T00:22:36.085Z","repository_link":"https://github.com/qed-project/project/blob/main/crates/lean-rs/Cargo.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"crates/mathml-rs/Cargo.toml","sha":null,"kind":"manifest","created_at":"2024-03-28T00:22:36.142Z","updated_at":"2024-03-28T00:22:36.142Z","repository_link":"https://github.com/qed-project/project/blob/main/crates/mathml-rs/Cargo.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"crates/mizar-rs/Cargo.toml","sha":null,"kind":"manifest","created_at":"2024-03-28T00:22:36.227Z","updated_at":"2024-03-28T00:22:36.227Z","repository_link":"https://github.com/qed-project/project/blob/main/crates/mizar-rs/Cargo.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"crates/openmath-rs/Cargo.toml","sha":null,"kind":"manifest","created_at":"2024-03-28T00:22:36.322Z","updated_at":"2024-03-28T00:22:36.322Z","repository_link":"https://github.com/qed-project/project/blob/main/crates/openmath-rs/Cargo.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"crates/qed/Cargo.toml","sha":null,"kind":"manifest","created_at":"2024-03-28T00:22:36.431Z","updated_at":"2024-03-28T00:22:36.431Z","repository_link":"https://github.com/qed-project/project/blob/main/crates/qed/Cargo.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"crates/qed_formats/Cargo.toml","sha":null,"kind":"manifest","created_at":"2024-03-28T00:22:36.647Z","updated_at":"2024-03-28T00:22:36.647Z","repository_link":"https://github.com/qed-project/project/blob/main/crates/qed_formats/Cargo.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"crates/qed_prover/Cargo.toml","sha":null,"kind":"manifest","created_at":"2024-03-28T00:22:36.754Z","updated_at":"2024-03-28T00:22:36.754Z","repository_link":"https://github.com/qed-project/project/blob/main/crates/qed_prover/Cargo.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"crates/qed_server/Cargo.toml","sha":null,"kind":"manifest","created_at":"2024-03-28T00:22:36.966Z","updated_at":"2024-03-28T00:22:36.966Z","repository_link":"https://github.com/qed-project/project/blob/main/crates/qed_server/Cargo.toml","dependencies":[]}],"score":null,"created_at":"2025-09-04T15:51:02.517Z","updated_at":"2025-10-07T08:12:57.177Z","avatar_url":"https://github.com/qed-project.png","language":"Rust","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/29917","html_url":"https://science.ecosyste.ms/projects/29917","bibtex_url":"https://science.ecosyste.ms/projects/29917/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/29917/export.apalike"}