https://github.com/qdeduction/qbar

the rational proof assistant
https://github.com/qdeduction/qbar

deduction formal-verification logic natural-deduction proof-assistant qbar rational-deduction rust rust-lang type-theory

Last synced: 3 months ago
JSON representation

the rational proof assistant

• Host: GitHub
• URL: https://github.com/qdeduction/qbar
• Owner: qdeduction
• License: isc
• Created: 2020-09-20T20:09:21.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2023-06-14T16:33:11.000Z (over 1 year ago)
• Last Synced: 2024-05-22T19:33:55.379Z (6 months ago)
• Topics: deduction, formal-verification, logic, natural-deduction, proof-assistant, qbar, rational-deduction, rust, rust-lang, type-theory
• Language: Rust
• Homepage: https://qbar.io
• Size: 2.49 MB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 6
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - qbar - experimental automated theorem verifier/prover and proof assistant. (Projects / Provers and Solvers)

README

        


  



# qbar

> the rational proof assistant

    

[![Workflow Status](https://flat.badgen.net/github/checks/qdeduction/qbar?label=workflow)](https://github.com/qdeduction/qbar/actions)

[![Project Crate](https://flat.badgen.net/crates/v/qbar)](https://crates.io/crates/qbar)

[![Documentation](https://flat.badgen.net/badge/docs/latest/blue)](https://docs.rs/qbar)




---

## Introduction

**QBAR** is an experimental automated theorem verifier/prover and proof assistant built on a simple abstract syntax language and a minimal proof kernel.

## Installation

**QBAR** is currently an _α-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).

## Documentation

See the [web docs](https://qbar.io/docs) for the most up-to-date documentation.

---



[![Author](https://img.shields.io/badge/-AUTHOR-blue?style=for-the-badge)](https://github.com/bhgomes)

[![License](https://img.shields.io/badge/-LICENSE-lightgray?style=for-the-badge)](LICENSE)

[![Source](https://img.shields.io/badge/-SOURCE-black?style=for-the-badge)](https://github.com/qdeduction/qbar)