{"id":13748725,"url":"https://github.com/qdeduction/qbar","last_synced_at":"2025-05-09T11:31:17.524Z","repository":{"id":37179187,"uuid":"297155028","full_name":"qdeduction/qbar","owner":"qdeduction","description":"the rational proof assistant","archived":false,"fork":false,"pushed_at":"2023-06-14T16:33:11.000Z","size":2608,"stargazers_count":2,"open_issues_count":6,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-04-30T10:08:59.517Z","etag":null,"topics":["deduction","formal-verification","logic","natural-deduction","proof-assistant","qbar","rational-deduction","rust","rust-lang","type-theory"],"latest_commit_sha":null,"homepage":"https://qbar.io","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"isc","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/qdeduction.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null}},"created_at":"2020-09-20T20:09:21.000Z","updated_at":"2025-03-28T17:42:24.000Z","dependencies_parsed_at":"2024-01-13T01:40:06.726Z","dependency_job_id":"b31b3434-0609-48c6-ad73-53114d503f24","html_url":"https://github.com/qdeduction/qbar","commit_stats":{"total_commits":119,"total_committers":3,"mean_commits":"39.666666666666664","dds":"0.46218487394957986","last_synced_commit":"ddaa15cbb033ba57a370592de5fb7b00fd7cc1d5"},"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qdeduction%2Fqbar","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qdeduction%2Fqbar/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qdeduction%2Fqbar/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qdeduction%2Fqbar/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/qdeduction","download_url":"https://codeload.github.com/qdeduction/qbar/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":253240350,"owners_count":21876593,"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","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"}},"keywords":["deduction","formal-verification","logic","natural-deduction","proof-assistant","qbar","rational-deduction","rust","rust-lang","type-theory"],"created_at":"2024-08-03T07:00:48.251Z","updated_at":"2025-05-09T11:31:16.687Z","avatar_url":"https://github.com/qdeduction.png","language":"Rust","funding_links":[],"categories":["Projects"],"sub_categories":["Provers and Solvers"],"readme":"\u003ca href=\"https://qbar.io\"\u003e\n  \u003cimg align=\"left\" height=\"175em\" src=\"https://raw.githubusercontent.com/qdeduction/qbar/master/docs/image/logo-with-background-blue.svg\"\u003e\n\u003c/a\u003e\n\n# qbar\n\n\u003e the rational proof assistant\n    \n[![Workflow Status](https://flat.badgen.net/github/checks/qdeduction/qbar?label=workflow)](https://github.com/qdeduction/qbar/actions)\n[![Project Crate](https://flat.badgen.net/crates/v/qbar)](https://crates.io/crates/qbar)\n[![Documentation](https://flat.badgen.net/badge/docs/latest/blue)](https://docs.rs/qbar)\n\n\u003cbr/\u003e\n\n---\n\n## Introduction\n\n**QBAR** is an experimental automated theorem verifier/prover and proof assistant built on a simple abstract syntax language and a minimal proof kernel.\n\n## Installation\n\n**QBAR** is currently an _\u0026alpha;-stage product_ and the terminal shell cannot be installed at the moment. For now, check out **QBAR**'s dependent libraries ([`exprz`](https://github.com/qdeduction/exprz) and [`rational_deduction`](https://github.com/qdeduction/rational_deduction)) or try the [web shell](https://qbar.io/app).\n\n## Documentation\n\nSee the [web docs](https://qbar.io/docs) for the most up-to-date documentation.\n\n---\n\n\u003cdiv align=\"center\"\u003e\n\n[![Author](https://img.shields.io/badge/-AUTHOR-blue?style=for-the-badge)](https://github.com/bhgomes)\n[![License](https://img.shields.io/badge/-LICENSE-lightgray?style=for-the-badge)](LICENSE)\n[![Source](https://img.shields.io/badge/-SOURCE-black?style=for-the-badge)](https://github.com/qdeduction/qbar)\n\n\u003c/div\u003e\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fqdeduction%2Fqbar","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fqdeduction%2Fqbar","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fqdeduction%2Fqbar/lists"}