Lib.rs

›

#rational #assistant #proof

bin+lib qbar

the rational proof assistant

Owned by Brandon H. Gomes.

Install
API reference
GitHub repo (qdeduction)
Home (qbar.io)

1 unstable release

0.0.0	Sep 20, 2020

#14 in #rational

Custom license

5KB

qbar

Dependencies

~205KB

terminal +crossterm-backend

See also: reckoner, rational, commitaura, owl-ms-language-server, hooo, ask-sh, wa, risc0-zkvm, risc0-zkp, lambdaworks-crypto, lambert_w

Lib.rs is an unofficial list of Rust/Cargo crates, created by kornelski. It contains data from multiple sources, including heuristics, and manually curated data. Content of this page is not necessarily endorsed by the authors of the crate. This site is not affiliated with nor endorsed by the Rust Project. If something is missing or incorrect, please file a bug.